i am a mathematician wanna-be. I have an undergrad honours degree in maths. As a retirement or pre-retirement project, I want to learn LEAN and contribute to it either via development or via developing the Mathlib or both!
Pointers welcome. As long as they are not null. Btw, I am also interested in compilers.