☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (4)
Dependencies (7)
Dependents (4)
Hammer
Displaying
1-4
of
4
versions of
Hammer
Sort by
Date
Not a part of any version track.
607ebd8
v4.23.0
7 days ago
Released on September 21, 2025 at 4:24:53AM
Commit 607ebd8 builds on its recent leanprover/lean4:v4.23.0
v4.23.0
341.6 KB
Build archive size: 341634 bytes.
Not a part of any version track.
607ebd8
v4.23.0
7 days ago
Released on September 21, 2025 at 4:24:53AM
Commit 607ebd8 builds on its recent leanprover/lean4:v4.23.0
v4.23.0
341.6 KB
Build archive size: 341634 bytes.
Not a part of any version track.
b434f37
v4.22.0
a month ago
Released on August 22, 2025 at 5:13:58PM
Commit b434f37 builds on its recent leanprover/lean4:v4.22.0
v4.22.0
350.2 KB
Build archive size: 350169 bytes.
Not a part of any version track.
643506c
v4.20.0
3 months ago
Released on June 17, 2025 at 3:53:38PM
Commit 643506c builds on its old leanprover/lean4:v4.20.0
v4.20.0
292.9 KB
Build archive size: 292948 bytes.
1
20