Pages that link to "Item:Q286790"
From MaRDI portal
The following pages link to The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790):
Displaying 7 items.
- Milawa (Q21954) (← links)
- Formalization of the resolution calculus for first-order logic (Q1663242) (← links)
- A verified proof checker for higher-order logic (Q1987736) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- Milestones from the Pure Lisp Theorem Prover to ACL2 (Q2280212) (← links)
- Verifying a concurrent garbage collector with a rely-guarantee methodology (Q2319995) (← links)
- HOL Zero’s Solutions for Pollack-Inconsistency (Q2829240) (← links)
