About me

I’m a computer-science student at ENS Paris-Saclay, currently following the M2 MPRI. My main interests are type theory and the implementation of proof-assistants. TODO