kmill/lean-graphcoloring

Using Lean to formalize proofs related to graph coloring

Lean