[–] gus_massa 1d 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. (?)
1 comment
[ 0.29 ms ] story [ 6.9 ms ] threadWeil made a few conjetures. Someone else proved all the conjeture later. You formalized the statement of the conjetures and the proofs in Lean. (?)