lean-training-data
Displaying 1-9 of 9 versions of lean-training-data
Sort by
Date
- Not a part of any version track.
e719eea
7 months agoReleased on February 14, 2025 at 9:21:45AMCommit e719eea builds on its old leanprover/lean4:v4.16.0v4.16.0254.3 MB Build archive size: 254275568 bytes. - Not a part of any version track.
bce849f
v4.16.07 months agoReleased on February 12, 2025 at 12:33:21AMCommit bce849f builds on its old leanprover/lean4:v4.16.0v4.16.0254.3 MB Build archive size: 254277912 bytes. - Not a part of any version track.
cd9cef4
v4.15.07 months agoReleased on February 12, 2025 at 12:30:52AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0 - Not a part of any version track.
db4bfe6
v4.14.07 months agoReleased on February 12, 2025 at 12:27:51AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.14.0 - Not a part of any version track.
a7df19c
v4.13.07 months agoReleased on February 12, 2025 at 12:18:19AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.13.0 - Not a part of any version track.
8a98919
v4.12.07 months agoReleased on February 12, 2025 at 12:11:08AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.12.0 - Not a part of any version track.
35a2e83
v4.11.07 months agoReleased on February 12, 2025 at 12:07:08AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.11.0 - Not a part of any version track.
8f8c725
v4.10.07 months agoReleased on February 12, 2025 at 12:04:39AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.10.0 - Not a part of any version track.
d385ad7
v4.9.07 months agoReleased on February 12, 2025 at 12:00:22AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.9.0