☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (3)
Dependencies (9)
miniF2F-lean4
Displaying
1-3
of
3
versions of
miniF2F-lean4
Sort by
Date
Not a part of any version track.
3f2c8cb
12 days ago
Released on July 3, 2025 at 2:15:09PM
Commit 3f2c8cb builds on its recent leanprover/lean4:v4.20.0
v4.20.0
946.8 KB
Build archive size: 946808 bytes.
Not a part of any version track.
638c70e
v4.15.0
6 months ago
Released on January 21, 2025 at 2:55:27PM
Commit 638c70e builds on its old leanprover/lean4:v4.15.0
v4.15.0
784.5 KB
Build archive size: 784482 bytes.
Not a part of any version track.
9903cb7
v4.10.0
8 months ago
Released on November 19, 2024 at 1:28:01AM
Commit 9903cb7 builds on its old leanprover/lean4:v4.10.0
v4.10.0
787.1 KB
Build archive size: 787112 bytes.
1
20