2 points | by torutofu 6 hours ago ago
1 comments
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. (?)
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. (?)