Init-only Lean 4.22 certificate for the Fermat quintic fourfold V(F5). Not a Hodge close. Z uncomputed.
TeX Updated 1 day ago 1 commits
pulse-dev|Mirror: BenFrohman/FermatQuinticHost (⭐0)
1 day agoAbout
Init-only Lean 4.22 certificate for the Fermat quintic fourfold V(F5). Not a Hodge close. Z uncomputed.
Readme