2 points, 1 comments on Hacker News

Source: [Hacker News](https://www.reddit.com/r/mathematics/comments/1woe4gx/a_lean_formalization_of_zeta5_being_irrational/)

Sponsored