Pages that link to "Item:Q1640642"
From MaRDI portal
The following pages link to Aligning concepts across proof assistant libraries (Q1640642):
Displaying 6 items.
- JEFL: joint embedding of formal proof libraries (Q831932) (← links)
- The role of the Mizar mathematical library for interactive proof development in Mizar (Q1663215) (← links)
- Experiences from exporting major proof assistant libraries (Q2069875) (← links)
- ENIGMA Anonymous: Symbol-Independent Inference Guiding Machine (System Description) (Q5049022) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
