The following pages link to (Q6060676):
Displaying 4 items.
- Formalizing axiomatic systems for propositional logic in Isabelle/HOL (Q2128791) (← links)
- Verifying the conversion into CNF in dafny (Q2148786) (← links)
- Constructive and mechanised meta-theory of intuitionistic epistemic logic (Q2151399) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
