leanprover-communityDuper

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

  1. JOSHCLUNE/Hammeruses18d7f15

  2. hanwenzhu/hammer-demouses18d7f15

  3. siddhartha-gadgil/leanaideuses18d7f15

    Tools based on AI for helping with Lean 4

  4. GasStationManager/LeanTooluses18d7f15

    A "code intepreter" for Lean

  5. FredRaj3/SemicircleLawuses18d7f15

    Formalization of Wigner's Semicircle Law in Lean