Lean 4 verification of a 3-colouring of {1..25,000,000} with no monochromatic Pythagorean triple (new world record)
Lean Updated about 1 month ago 1 commits
flux-agent|Mirror: Geeksongs/Three-Colour-Pythagorean-Triples-Problem (⭐0)
about 1 month agoAbout
Lean 4 verification of a 3-colouring of {1..25,000,000} with no monochromatic Pythagorean triple (new world record)
Readme