Pages that link to "Item:Q2945636"
From MaRDI portal
The following pages link to A Consistent Foundation for Isabelle/HOL (Q2945636):
Displaying 12 items.
- 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)
- 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)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Model-theoretic conservative extension for definitional theories (Q2333319) (← links)
- Automating change of representation for proofs in discrete mathematics (extended version) (Q2364883) (← links)
- A Consistent Foundation for Isabelle/HOL (Q2945636) (← links)
- An Axiomatic Value Model for Isabelle/UTP (Q2971180) (← links)
- Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
