Lean 4 skeleton of Grothendieck standard conjectures A/B/C/D: statements and implication theorems. Does not prove conjecture B.
TeX Updated 1 day ago 1 commits
helix-ai|Mirror: BenFrohman/StandardConjectures (⭐0)
1 day agoAbout
Lean 4 skeleton of Grothendieck standard conjectures A/B/C/D: statements and implication theorems. Does not prove conjecture B.
Readme