Hammer
Displaying 1-8 of 8 versions of Hammer
Sort by
Date
- Not a part of any version track.
8fe682fv4.25.22 days agoReleased on December 2, 2025 at 4:20:17PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.2 - Not a part of any version track.
8fe682fv4.25.22 days agoReleased on December 2, 2025 at 4:20:17PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.2 - Not a part of any version track.
a1243bfv4.25.17 days agoReleased on November 27, 2025 at 7:24:24PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.1 - Not a part of any version track.
be803aav4.25.017 days agoReleased on November 17, 2025 at 9:35:40PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.25.0 - Not a part of any version track.
e2c2902v4.24.0a month agoReleased on October 27, 2025 at 2:55:49PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.24.0 - Not a part of any version track.
607ebd8v4.23.02 months agoReleased on September 21, 2025 at 4:24:53AMCommit 607ebd8 builds on its old leanprover/lean4:v4.23.0v4.23.0341.6 KB Build archive size: 341628 bytes. - Not a part of any version track.
b434f37v4.22.03 months agoReleased on August 22, 2025 at 5:13:58PMCommit b434f37 builds on its old leanprover/lean4:v4.22.0v4.22.0350.2 KB Build archive size: 350169 bytes. - Not a part of any version track.
643506cv4.20.06 months agoReleased on June 17, 2025 at 3:53:38PMCommit 643506c builds on its old leanprover/lean4:v4.20.0v4.20.0292.9 KB Build archive size: 292948 bytes.