☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (29)
Dependencies (2)
Dependents (2)
Duper
Displaying
1-2
of
2
packages depending on
leanprover-community/Duper
Sort by
Package Name
JOSHCLUNE/Hammer
uses
f444c7e
siddhartha-gadgil/leanaide
uses
7179853
Tools based on AI for helping with Lean 4
1
20