Pages that link to "Item:Q2364703"
From MaRDI portal
The following pages link to Classification of alignments between concepts of formal mathematical systems (Q2364703):
Displaying 5 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)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)