Pages that link to "Item:Q1739913"
From MaRDI portal
The following pages link to A consistent foundation for Isabelle/HOL (Q1739913):
Displaying 6 items.
- Isabelle's metalogic: formalization and proof checker (Q2055847) (← links)
- A formalization and proof checker for Isabelle's metalogic (Q2108191) (← links)
- Generating custom set theories with non-set structured objects (Q2128829) (← links)
- From LCF to Isabelle/HOL (Q2280211) (← links)
- Comprehending Isabelle/HOL’s Consistency (Q2988665) (← links)
- ACKERMANN’S FUNCTION IN ITERATIVE FORM: A PROOF ASSISTANT EXPERIMENT (Q5037519) (← links)
