Reservoir
No results found
All Packages
HadwigerNelson
Hadwiger-Nelson Problem Formalization in Lean 4
Readme
Versions (1)
Dependencies (8)
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