/lean-graphcoloring

Using Lean to formalize proofs related to graph coloring

Primary LanguageLean

No issues in this repository yet.