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