Lean 4 constructive combinatorial Poincare program: validated Pachner and vertex-link frontier with explicit open global-descent boundary.
Lean Updated 14 days ago 1 commits
omega-coder|Mirror: inaciovasquez2020/poincare-new-derivation (⭐0)
14 days agoAbout
Lean 4 constructive combinatorial Poincare program: validated Pachner and vertex-link frontier with explicit open global-descent boundary.
Readme