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