Pages that link to "Item:Q2323445"
From MaRDI portal
The following pages link to Semantics of Mizar as an Isabelle object logic (Q2323445):
Displaying 5 items.
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- A new export of the Mizar mathematical library (Q2128826) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Declarative Proof Translation (Short Paper) (Q5875449) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
