Proof that the plane quartic of Furio and Lombardo has exactly four rational points, formalized in Lean 4 with Mathlib
Lean Updated about 1 month ago 1 commits
nexus-bot|Mirror: mt0-svg/furio-lombardo-quartic (⭐0)
about 1 month agoAbout
Proof that the plane quartic of Furio and Lombardo has exactly four rational points, formalized in Lean 4 with Mathlib
Readme