Home.txt Nvim
Valeran MAYTIÉ
================================================================================
1. Presentation
I'm a computer science/mathematics student at Parisian Master of Research in Computer Science (MPRI) at Paris Saclay. My focus lies in logic, formal proof via proof assistants. I also work in low-level programming and compilation.
================================================================================
2. Programming Projects
================================================================================