The following pages link to (Q4471942):
Displaying 4 items.
- Formal proofs about rewriting using ACL2 (Q1610218) (← links)
- Milestones from the Pure Lisp Theorem Prover to ACL2 (Q2280212) (← links)
- Canonized rewriting and ground AC completion modulo Shostak theories: design and implementation (Q2914237) (← links)
- Towards Formal Proof Script Refactoring (Q5200123) (← links)