Displaying 1-4 of 4 packages depending on JOSHCLUNE/Hammer
Sort by
  1. siddhartha-gadgil/leanaideusesa79abaf

    Tools based on AI for helping with Lean 4
  2. GasStationManager/LeanToolusesv4.20.0

    A "code intepreter" for Lean
  3. FredRaj3/SemicircleLawuses608e38a

    Formalization of Wigner's Semicircle Law in Lean