leanprover-communityDuper

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

  1. JOSHCLUNE/Hammerusesv4.26.0

  2. hanwenzhu/hammer-demouses18d7f15

  3. siddhartha-gadgil/leanaideusesv4.26.0

    Tools based on AI for helping with Lean 4

  4. GasStationManager/LeanTooluses18d7f15

    A "code intepreter" for Lean

  5. FredRaj3/SemicircleLawusesv4.24.0

    Formalization of Wigner's Semicircle Law in Lean