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