leanprover-communitySphereEversion

Formalization of the existence of sphere eversions
Displaying 1-1 of 1 versions of SphereEversion
Sort by
  1. Not a part of any version track.
    aa7a54f
    10 days ago
    Released on July 1, 2025 at 9:39:21AM
    Commit aa7a54f builds on its recent leanprover/lean4:v4.22.0-rc2
    v4.22.0-rc2
    17.6 MB Build archive size: 17638478 bytes.