☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (2)
Dependencies (7)
Dependents (4)
Hammer
Transitive
Include transitive dependencies
Sort by
Require Order
Local path dependency.
Not found on Reservoir.
HammerCore
0.0.0
Git dependency.
Found on Reservoir.
Qq
v4.20.0
Intuitive, type-safe expression quotations for Lean 4.
Git dependency.
Not found on Reservoir.
premise-selection
d81f961
1
20