The Weil conjectures formalized in Lean

 (axiommath.ai)

2 points | by torutofu 4 hours ago

1 comments

  • gus_massa 43 minutes ago

    Just to confirm:

    Weil made a few conjetures. Someone else proved all the conjeture later. You formalized the statement of the conjetures and the proofs in Lean. (?)