Lean [1] [2] [3] To try and revitalize my math life a bit... There are some things I quite miss, and learning Lean was my idea to force myself to get back in t

Lean [1] [2] [3] To try and revitalize my math life a bit... There are some things I quite miss, and learning Lean was my idea to force myself to get back in the swing of things. [1]: https://leanprover-community.github.io/ https://leanprover-community.github.io/ [2]: https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_game/ https://wwwf.imperial.ac.uk/~buzzard/xena/natural_number_gam... [3]: https://www.youtube.com/watch?v=Dp-mQ3HxgDE https://www.youtube.com/watch?v=Dp-mQ3HxgDE