☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (7)
Dependents (4)
Hammer
Displaying
1-2
of
2
versions of
Hammer
Sort by
Date
Not a part of any version track.
643506c
v4.20.0
a month ago
Released on June 17, 2025 at 3:53:38PM
Commit 643506c builds on its recent leanprover/lean4:v4.20.0
v4.20.0
292.8 KB
Build archive size: 292762 bytes.
Not a part of any version track.
643506c
v4.20.0
a month ago
Released on June 17, 2025 at 3:53:38PM
Commit 643506c builds on its recent leanprover/lean4:v4.20.0
v4.20.0
292.8 KB
Build archive size: 292762 bytes.
1
20