Pages that link to "Item:Q3460068"
From MaRDI portal
The following pages link to Sharing HOL4 and HOL Light Proof Knowledge (Q3460068):
Displaying 6 items.
- JEFL: joint embedding of formal proof libraries (Q831932) (← links)
- Aligning concepts across proof assistant libraries (Q1640642) (← links)
- Classification of alignments between concepts of formal mathematical systems (Q2364703) (← 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)
