Pages that link to "Item:Q3613409"
From MaRDI portal
The following pages link to An Interpretation of Isabelle/HOL in HOL Light (Q3613409):
Displaying 6 items.
- Proof synthesis and reflection for linear arithmetic (Q945055) (← links)
- A revision of the proof of the Kepler conjecture (Q977177) (← links)
- Formalising foundations of mathematics (Q3094180) (← links)
- A Foundational View on Integration Problems (Q5200111) (← links)
- A FORMAL PROOF OF THE KEPLER CONJECTURE (Q5280247) (← links)
- A logical framework combining model and proof theory (Q5400853) (← links)
