GitHub - jessealama/mathlib-experiments: Standalone Lake projects for Mathlib-adjacent experiments (Euler's polyhedron formula via convex polyhedra and combinatorial maps) · GitHub

Skip to content

Latest commit

History

Folders and files

Name		Name	Last commit message	Last commit date
combinatorial-maps		combinatorial-maps
convex-polyhedra		convex-polyhedra
.gitignore		.gitignore

About

Standalone Lake projects for Mathlib-adjacent experiments (Euler's polyhedron formula via convex polyhedra and combinatorial maps)

Topics

algebraic-topology formal-proof lean math mathlib

Stars

0 stars

Watchers

0 watching

Forks

Report repository

Releases

Packages

Contributors

Languages