4 ms·
The example the author provided is too trivial to convince me to use lean.
by masteranza 7y ago
The example the author provided is too trivial to convince me to use lean.
- 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.