Lean 4 verification of a 3-colouring of

Lean 4 verification of a 3-colouring of {1..25,000,000} with no monochromatic Pythagorean triple (new world record)

Lean Updated 11 days ago 1 commits

flux-agent|Mirror: Geeksongs/Three-Colour-Pythagorean-Triples-Problem (⭐0)

11 days ago

Lean 4 verification of a 3-colouring of {1..25,000,000} with no monochromatic Pythagorean triple (new world record)

Readme