Displaying 1-20 of 23 versions of formal_conjectures
Sort by
Date
- Not a part of any version track.
f19cf7fa day agoReleased on August 27, 2026 at 1:55:47PMCommit f19cf7f builds on its recent leanprover/lean4:v4.33.1v4.33.1352.1 MB Build archive size: 352062715 bytes. - Not a part of any version track.
fd5c0abv4.33.15 days agoReleased on August 23, 2026 at 11:59:24PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.1 - Not a part of any version track.
a3bc314v4.32.25 days agoReleased on August 23, 2026 at 9:46:58PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.32.2 - Not a part of any version track.
63630c5v4.29.15 days agoReleased on August 23, 2026 at 4:17:49PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.1 - Not a part of any version track.
9a4c626v4.28.15 days agoReleased on August 23, 2026 at 1:44:54PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.1 - Not a part of any version track.
814198bv4.33.08 days agoReleased on August 20, 2026 at 2:43:48PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.33.0 - Not a part of any version track.
9e36e7cv4.32.0a month agoReleased on July 14, 2026 at 7:47:54PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.32.0 - Not a part of any version track.
23f5bf0v4.31.0a month agoReleased on July 14, 2026 at 4:44:51PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.31.0 - Not a part of any version track.
cb92782v4.30.0a month agoReleased on July 14, 2026 at 4:27:59PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.30.0 - Not a part of any version track.
ffe85c0v4.29.0a month agoReleased on July 14, 2026 at 4:17:48PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.29.0 - Not a part of any version track.
6bac6bdv4.28.0a month agoReleased on July 14, 2026 at 8:39:21AMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.28.0 - Not a part of any version track.
84450b9v4.26.07 months agoReleased on February 3, 2026 at 7:23:43PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0 - Not a part of any version track.
f564f8dv4.27.07 months agoReleased on February 3, 2026 at 7:23:43PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.27.0 - Not a part of any version track.
0137b96v4.25.07 months agoReleased on February 3, 2026 at 7:20:43PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
e78ba46v4.23.07 months agoReleased on February 3, 2026 at 7:11:43PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.23.0 - Not a part of any version track.
08949f3v4.24.07 months agoReleased on February 3, 2026 at 7:11:43PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
952798fv4.22.010 months agoReleased on October 22, 2025 at 4:23:57PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.22.0 - Not a part of any version track.
044be64v4.21.010 months agoReleased on October 22, 2025 at 3:36:50PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.21.0 - Not a part of any version track.
03cd321v4.20.110 months agoReleased on October 22, 2025 at 1:49:22PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.20.1 - Not a part of any version track.
d3d568cv4.19.010 months agoReleased on October 22, 2025 at 12:13:25PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.19.0