The following pages link to (Q2723444):
Displayed 5 items.
- TRAMP (Q33151) (← links)
- Computer supported mathematics with \(\Omega\)MEGA (Q865650) (← links)
- Combined reasoning by automated cooperation (Q946572) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- Automation for interactive proof: first prototype (Q2432769) (← links)