About

I am a Research Software Engineer/Tech Lead at the Lean FRO and a mathlib maintainer.