Hammer
Displaying 1-9 of 9 versions of Hammer
Sort by
Date
- Not a part of any version track.
fa0692aa day agoReleased on January 17, 2026 at 9:44:38PMBuild data not currently included on Reservoir. See the package repository's CI instead.v4.26.0 - Not a part of any version track.
87e1bbav4.26.0a month agoReleased on December 17, 2025 at 8:11:38PMCommit 87e1bba builds on its recent leanprover/lean4:v4.26.0v4.26.0443.9 KB Build archive size: 443871 bytes. - Not a part of any version track.
8fe682fv4.25.22 months agoReleased on December 2, 2025 at 4:20:17PMCommit 8fe682f builds on its recent leanprover/lean4:v4.25.2v4.25.2471.4 KB Build archive size: 471381 bytes. - Not a part of any version track.
a1243bfv4.25.12 months 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.02 months 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.03 months 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.04 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.05 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.07 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.