JOSHCLUNEHammer

Displaying 1-4 of 4 packages depending on JOSHCLUNE/Hammer
Sort by

  1. hanwenzhu/hammer-demouses608e38a

  2. siddhartha-gadgil/leanaideusesa79abaf

    Tools based on AI for helping with Lean 4

  3. GasStationManager/LeanToolusesv4.20.0

    A "code intepreter" for Lean

  4. FredRaj3/SemicircleLawuses608e38a

    Formalization of Wigner's Semicircle Law in Lean