JOSHCLUNEHammer

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

  1. hanwenzhu/hammer-demouses167048e

  2. siddhartha-gadgil/leanaideuses167048e

    Tools based on AI for helping with Lean 4

  3. GasStationManager/LeanToolusesv4.22.0

    A "code intepreter" for Lean

  4. FredRaj3/SemicircleLawusesv4.22.0

    Formalization of Wigner's Semicircle Law in Lean