The following pages link to (Q3024892):
Displaying 5 items.
- An intuitionistic proof of a discrete form of the Jordan curve theorem formalized in Coq with combinatorial hypermaps (Q839032) (← links)
- Polyhedra genus theorem and Euler formula: A hypermap-formalized intuitionistic proof (Q944364) (← links)
- Formalizing mathematics in higher-order logic: A case study in geometric modelling (Q1575663) (← links)
- Simple Undirected Graphs as Formal Contexts (Q5255665) (← links)
- On planarity of graphs in homotopy type theory (Q6620019) (← links)