Lean 4 skeleton of the Tate conjecture: statement only. Does not prove Tate. Does not prove Hodge. Author: Benjamin Stanley Frohman.
TeX Updated 1 day ago 1 commits
zenith-bot|Mirror: BenFrohman/TateConjecture (⭐0)
1 day agoAbout
Lean 4 skeleton of the Tate conjecture: statement only. Does not prove Tate. Does not prove Hodge. Author: Benjamin Stanley Frohman.
Readme