- ๐ค My name is Florent Schaffhauser.
- ๐ญ I am a mathematician working in complex and real algebraic geometry.
- ๐ฑ I am currently learning functional programming.
- ๐ฏ I am looking to collaborate on moduli spaces of Higgs bundles and homotopy type theory.
- ๐ค I'm looking for help with any of the above.
- ๐ฌ Ask me about the Atiyah-Bott paper or the HoTT book.
- ๐ซ How to reach me: take a look at my personal webpage.
- ๐ Pronouns: he/him.
- โก Fun fact: I am passionate about making mathematics accessible to anyone interested in the subject.
matematiflo / mathlibdependency Goto Github PK
View Code? Open in Web Editor NEWLean package template (with a Mathlib dependency)
License: Apache License 2.0