About me

I am a 4-th year computer science student at ENS Paris, currently doing an internship at Inria Saclay in Deducteam. I’m interested in pushing the automation aspect of proof assistants such as Rocq, Agda, and Lean.

News