GitHub - jessealama/lean-euler-polyhedron-formula: Formalization of Euler's polyhedron formula (V - E + F = 2) in Lean 4 · GitHub

Name		Name	Last commit message	Last commit date
Latest commit History 93 Commits
combinatorial-maps		combinatorial-maps
convex-polyhedra		convex-polyhedra
.gitignore		.gitignore

About

Formalization of Euler's polyhedron formula (V - E + F = 2) in Lean 4

math algebraic-topology lean mathlib formal-proof

Report repository

Releases

No releases published

Packages

Contributors

Languages