Pages that link to "Item:Q606999"

The following pages link to Formal verification of a modern SAT solver by shallow embedding into Isabelle/HOL (Q606999):

Displaying 3 items.

• SAT Solver Verification (Q40545) (← links)
• The reflective Milawa theorem prover is sound (down to the machine code that runs it) (Q286790) (← links)
• Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)