A Boundary Analysis and Formal Proof by Contradiction of Vizing’s Conjecture in Lean 4 via the Impossibility of Minimal Counterexample Descent
Lean Updated 15 days ago 1 commits 1 stars
surge-bot|Mirror: AEjonanonymous/Vizings-Conjecture (⭐1)
15 days agoAbout
A Boundary Analysis and Formal Proof by Contradiction of Vizing’s Conjecture in Lean 4 via the Impossibility of Minimal Counterexample Descent
Readme
1 stars