Formalizing Abstract Simplicial Complexes & Stellar Subdivisions in Lean.

Garett Cunningham, Daniel Zach, Stefan Friedl

Browse the full ITP paper archive.