Pages that link to "Item:Q2988665"
From MaRDI portal
The following pages link to Comprehending Isabelle/HOL’s Consistency (Q2988665):
Displaying 11 items.
- From types to sets by local type definition in higher-order logic (Q1722645) (← links)
- A consistent foundation for Isabelle/HOL (Q1739913) (← links)
- Distilling the requirements of Gödel's incompleteness theorems with a proof assistant (Q2051568) (← links)
- Isabelle's metalogic: formalization and proof checker (Q2055847) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- CryptHOL: game-based proofs in higher-order logic (Q2175214) (← links)
- A formally verified abstract account of Gödel's incompleteness theorems (Q2305432) (← links)
- Model-theoretic conservative extension for definitional theories (Q2333319) (← links)
- From Types to Sets by Local Type Definitions in Higher-Order Logic (Q2829259) (← links)
- Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
