I am a computer science student at Parisian Master of Research in
- Computer Science (MPRI) at Université Paris Saclay, focusing on formal
- logic, proof assistants, and programming languages.
+ Computer Science (MPRI) at Université Paris Saclay, focusing on
+ formal logic, proof assistants, and programming languages.