![Arnoud van der Leer](https://arnoudvanderleer.github.io/images/profile.jpeg)
Arnoud van der Leer
Mathematician, (almost) Computer Scientist. Interested and educated in pure math (Algebraic Geometry, specialized towards Number Theory) and proof assistants.
- Leiden, The Netherlands
- Github
- Stackoverflow
Mathematician, (almost) Computer Scientist. Interested and educated in pure math (Algebraic Geometry, specialized towards Number Theory) and proof assistants.