The following pages link to The Isabelle Framework (Q3543647):
Displaying 24 items.
- Isabelle (Q13212) (← links)
- Self-formalisation of higher-order logic. Semantics, soundness, and a verified implementation (Q287361) (← links)
- Learning-assisted theorem proving with millions of lemmas (Q485842) (← links)
- N. G. de Bruijn's contribution to the formalization of mathematics (Q740481) (← links)
- Proof assistants: history, ideas and future (Q1040001) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Automating formalization by statistical and semantic parsing of mathematics (Q1687711) (← links)
- TacticToe: learning to prove with tactics (Q2031416) (← links)
- Machine learning guidance for connection tableaux (Q2031418) (← links)
- Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL (Q2102946) (← links)
- The role of entropy in guiding a connection prover (Q2142077) (← links)
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- First steps towards a formalization of forcing (Q2333671) (← links)
- Presentation and manipulation of Mizar properties in an Isabelle object logic (Q2364678) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← links)
- Big Math and the one-brain barrier: the tetrapod model of mathematical knowledge (Q2663667) (← links)
- Tools for the Investigation of Substructural and Paraconsistent Logics (Q2938481) (← links)
- Proof-Producing Reflection for HOL (Q2945631) (← links)
- Pattern Matches in HOL: (Q2945657) (← links)
- Taming Paraconsistent (and Other) Logics (Q2946751) (← links)
- Validating QBF Validity in HOL4 (Q3088005) (← links)
- Heterogeneous Proofs: Spider Diagrams Meet Higher-Order Provers (Q3088023) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
