|
|
|
|
|
|
by xiaodai
119 days ago
|
|
|
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. |
|
|