Reservoir
No results found
All Packages
Weights
Formalization in Lean4 of some results in "Minimization of hypersurfaces" by A.-S. Elsenhans and myself
Readme
Versions (1)
Dependencies (9)
Displaying
1-1
of
1
versions of
Weights
Sort by
Date
Not a part of any version track.
83972dd
a month ago
Released on December 2, 2024 at 12:23:48PM
Commit 83972dd fails to build on leanprover/lean4:v4.15.0-rc1
v4.15.0-rc1
1
20