Hi there

• My name is Florent Schaffhauser (pronouns: he/him).
• I am a mathematician working in complex and real algebraic geometry.
• I am currently learning functional programming and homotopy type theory.
• How to reach me: please take a look at my personal webpage.
• I am passionate about making mathematics accessible to anyone interested in the subject and I believe proof assistants can help with that!