hanwenzhupremise-selection

Displaying 1-5 of 5 packages depending on hanwenzhu/premise-selection
Sort by

  1. JOSHCLUNE/Hammerusesv4.30.0

    LeanHammer is an automated reasoning tool for Lean that brings together multiple proof search and reconstruction techniques and combines them into one tool.

  2. hanwenzhu/hammer-demousesv4.22.0

  3. siddhartha-gadgil/leanaideusesv4.28.0

    Tools based on AI for helping with Lean 4

  4. GasStationManager/LeanToolusesv4.26.0

    A "code intepreter" for Lean

  5. FredRaj3/SemicircleLawuses7e9e175

    Formalization of Wigner's Semicircle Law in Lean