Duper
of 4 packages depending on leanprover-community/Duper
1-4Sort by
Package Name
JOSHCLUNE/Hammeruses
f444c7e
hanwenzhu/hammer-demouses
f444c7e
siddhartha-gadgil/leanaideuses
7179853
Tools based on AI for helping with Lean 4GasStationManager/LeanTooluses
f444c7e
A "code intepreter" for Lean