The Weil conjectures formalized in Lean

(axiommath.ai) by torutofu | Nov 7, 2026 | 0 comments on HN