The following pages link to Topological manifolds (Q502702):
Displaying 4 items.
- Semantics of Mizar as an Isabelle object logic (Q2323445) (← links)
- Readable Formalization of Euler’s Partition Theorem in Mizar (Q3453116) (← links)
- Higher-Order Tarski Grothendieck as a Foundation for Formal Proof. (Q5875415) (← links)
- Combining higher-order logic with set theory formalizations (Q6161232) (← links)
