Conjecture 65
Exact current formal statement proved, with complete downloadable Lean source.
∑ Math Proof Playground › WOWII
Written on the Wall II: formal proof archive
Public Lean 4 proof artifacts and statement corrections supporting CRL submissions to Google DeepMind Formal Conjectures.
Conjecture 143
Complete six-module, sorry-free Lean proof using the current second-smallest-degree invariant.
Conjecture 160
Historical C₄-free characteristic restored; corrected conjecture remains open.
Conjecture 322
The local-independence condition forces the connected graph to be complete; every minimal total dominating set has size two.
Hosted from DomTheDeveloper/crl.