☰
All Packages
Criteria
All Packages
Criteria
Readme
Versions (1)
Dependencies (8)
HadwigerNelson
Hadwiger-Nelson Problem Formalization in Lean 4
Transitive
Include transitive dependencies
Sort by
Require Order
Git dependency.
Found on Reservoir.
LeanSAT
a1acc2d
This package provides an interface and foundation for verified SAT reasoning
Git dependency.
Found on Reservoir.
mathlib
19f128e
The math library of Lean 4
1
20