2 points, 0 comments on Hacker News

Source: [Hacker News](https://axiommath.ai/research/the-weil-conjectures-formalized-in-lean/)

Sponsored