☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (3)
Dependencies (7)
Dependents (4)
Hammer
Displaying
1-3
of
3
versions of
Hammer
Sort by
Date
Not a part of any version track.
167048e
15 days ago
Released on August 23, 2025 at 2:25:36PM
Commit 167048e builds on its recent leanprover/lean4:v4.22.0
v4.22.0
349.6 KB
Build archive size: 349582 bytes.
Not a part of any version track.
b434f37
v4.22.0
16 days 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