leanprover-communityDuper

Displaying 1-5 of 5 packages depending on leanprover-community/Duper
Sort by

  1. JOSHCLUNE/Hammerusesv4.28.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-demouses18d7f15

  3. siddhartha-gadgil/leanaideusesv4.26.0

    Tools based on AI for helping with Lean 4

  4. GasStationManager/LeanToolusesv4.26.0

    A "code intepreter" for Lean

  5. FredRaj3/SemicircleLawusesv4.24.0

    Formalization of Wigner's Semicircle Law in Lean