Formalizing Abstract Simplicial Complexes & Stellar Subdivisions in Lean

Garett Cunningham, Daniel Zach, Stefan Friedl. Formalizing Abstract Simplicial Complexes & Stellar Subdivisions in Lean. In Ekaterina Komendantskaya, Tobias Nipkow, editors, 17th International Conference on Interactive Theorem Proving, ITP 2026, Lisbon, Portugal, July 26-29, 2026. Volume 382 of LIPIcs, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2026. [doi]

Abstract

Abstract is missing.