☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (9)
Dependencies (10)
paperproof
Lean theorem proving interface which feels like pen-and-paper proofs.
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
mathlib
1cc889e
The math library of Lean 4
Local path dependency.
Not found on Reservoir.
Paperproof
0.0.0
1
20