Hammer
of 4 packages depending on JOSHCLUNE/Hammer
1-4Sort by
Package Name
hanwenzhu/hammer-demouses
167048e
siddhartha-gadgil/leanaideuses
167048e
Tools based on AI for helping with Lean 4GasStationManager/LeanTooluses
v4.22.0
A "code intepreter" for LeanFredRaj3/SemicircleLawuses
v4.22.0
Formalization of Wigner's Semicircle Law in Lean