Pages that link to "Item:Q2829254"
From MaRDI portal
The following pages link to Visual Theorem Proving with the Incredible Proof Machine (Q2829254):
Displaying 4 items.
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- Programming and verifying a declarative first-order prover in Isabelle/HOL (Q5145439) (← links)
- Verifying a sequent calculus Prover for first-order logic with functions in Isabelle/HOL (Q6611963) (← links)
- SeCaV: a sequent calculus verifier in Isabelle/HOL (Q6661151) (← links)
