lean4export
Plain-text declaration export for Lean 4
Displaying 1-20 of 35 versions of lean4export
Sort by
Date
- Not a part of any version track.
b66b1cdv4.31.0-rc24 days agoReleased on June 8, 2026 at 12:10:11PMCommit b66b1cd builds on its recent leanprover/lean4:v4.31.0-rc2v4.31.0-rc257.6 MB Build archive size: 57564451 bytes. - Not a part of any version track.
b66b1cdv4.31.0-rc24 days agoReleased on June 8, 2026 at 12:10:11PMCommit b66b1cd builds on its recent leanprover/lean4:v4.31.0-rc2v4.31.0-rc257.6 MB Build archive size: 57564451 bytes. - Not a part of any version track.
cd502a7v4.31.0-rc115 days agoReleased on May 28, 2026 at 2:20:14PMCommit cd502a7 builds on its recent leanprover/lean4:v4.31.0-rc1v4.31.0-rc157.5 MB Build archive size: 57548575 bytes. - Not a part of any version track.
a3e35a5v4.30.017 days agoReleased on May 26, 2026 at 3:44:12PMCommit a3e35a5 builds on its recent leanprover/lean4:v4.30.0v4.30.052.4 MB Build archive size: 52405920 bytes. - Not a part of any version track.
20c4a64v4.15.0a month agoReleased on April 30, 2026 at 3:28:40PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.15.0 - Not a part of any version track.
062a37fv4.16.0a month agoReleased on April 30, 2026 at 3:26:26PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.16.0 - Not a part of any version track.
1191f65v4.17.0a month agoReleased on April 30, 2026 at 3:24:16PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.17.0 - Not a part of any version track.
5d306f7v4.18.0a month agoReleased on April 30, 2026 at 3:19:49PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.18.0 - Not a part of any version track.
bae5a4av4.19.0a month agoReleased on April 30, 2026 at 3:14:52PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.19.0 - Not a part of any version track.
1f2d0dav4.20.1a month agoReleased on April 30, 2026 at 3:11:49PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.1 - Not a part of any version track.
ebd1bc1v4.20.0a month agoReleased on April 30, 2026 at 3:10:19PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.0 - Not a part of any version track.
c77b4f2v4.21.0a month agoReleased on April 30, 2026 at 3:08:15PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.21.0 - Not a part of any version track.
fb65e09v4.22.0a month agoReleased on April 30, 2026 at 3:05:56PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0 - Not a part of any version track.
fe81e87v4.23.0a month agoReleased on April 30, 2026 at 2:45:27PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0 - Not a part of any version track.
cd18b3ev4.24.1a month agoReleased on April 30, 2026 at 2:41:43PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.1 - Not a part of any version track.
f7f95b2v4.24.0a month agoReleased on April 30, 2026 at 2:40:31PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
c6b6f8dv4.25.2a month agoReleased on April 30, 2026 at 2:38:37PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.2 - Not a part of any version track.
3de3963v4.25.1a month agoReleased on April 30, 2026 at 2:37:04PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.1 - Not a part of any version track.
cfefafav4.25.0a month agoReleased on April 30, 2026 at 2:36:02PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
3e1cdfev4.26.0a month agoReleased on April 30, 2026 at 2:26:16PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0