chenle02TotalColoring0.2.0

Lean 4 formalization and certificate checking for total coloring and auxiliary rainbow edge-coloring reductions
#graph-theory #total-coloring #edge-coloring #combinatorics #formal-verification
Sort by
  1. Registry dependency.
    Found on Reservoir.

    mathlibv4.32.0

    The math library of Lean 4