The following pages link to (Q4790648):
Displaying 6 items.
- TPS: A hybrid automatic-interactive system for developing proofs (Q865629) (← links)
- Providing a formal linkage between MDG and HOL (Q878110) (← links)
- Integrating external deduction tools with ACL2 (Q1006728) (← links)
- Efficiently checking propositional refutations in HOL theorem provers (Q1006729) (← links)
- Data compression for proof replay (Q1040776) (← links)
- Linear Arithmetic with Stars (Q3512499) (← links)
