vasnesterovHadwigerNelson

Hadwiger-Nelson Problem Formalization in Lean 4
Sort by
  1. Git dependency.
    Found on Reservoir.

    LeanSATa1acc2d

    This package provides an interface and foundation for verified SAT reasoning
  2. Git dependency.
    Found on Reservoir.

    mathlib19f128e

    The math library of Lean 4