JOSHCLUNEHammer

LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.
Displaying 1-4 of 4 packages depending on JOSHCLUNE/Hammer
Sort by

  1. hanwenzhu/hammer-demouses167048e

  2. siddhartha-gadgil/leanaideusesv4.26.0

    Tools based on AI for helping with Lean 4

  3. GasStationManager/LeanToolusesv4.26.0

    A "code intepreter" for Lean

  4. FredRaj3/SemicircleLawusesv4.24.0

    Formalization of Wigner's Semicircle Law in Lean