3 ms·
[Here](https://arxiv.org/abs/1907.01449 https://arxiv.org/abs/1907.01449) is a Lean formalisation of a 2017 Annals of Mathematics paper.
by kevinbuzzard 7y ago
[Here](https://arxiv.org/abs/1907.01449 https://arxiv.org/abs/1907.01449) is a Lean formalisation of a 2017 Annals of Mathematics paper.