Reservoir
No results found
All Packages
miniF2F-lean4
Readme
Versions (1)
Dependencies (7)
Displaying
1-1
of
1
versions of
miniF2F-lean4
Sort by
Date
Not a part of any version track.
6bcf0b4
3 months ago
Released on July 14, 2024 at 3:12:57PM
Commit 6bcf0b4 builds on its old leanprover/lean4:v4.10.0-rc2
v4.10.0-rc2
788.6 KB
Build archive size: 788579 bytes.
1
20