Code of conduct
This team handles incident reports and maintains community standards. See the community web page.
Members
![Anne Baanen picture](/img/anne.jpg)
Anne Baanen
Anne is a post-doc at Vrije Universiteit Amsterdam (The Netherlands). They have been formalizing proofs in mathematics and computer science since 2018.
![Jeremy Avigad picture](/img/jeremy.png)
Jeremy Avigad
Jeremy is a Professor of Philosophy at Carnegie Mellon University (USA). He did a PhD in mathematical logic at Berkeley, and has been formalizing mathematics since 2002, in Isabelle, Coq and Lean.
![Riccardo Brasca picture](/img/riccardo.jpg)
Riccardo Brasca
Riccardo is an Associate Professor of Mathematics at Université Paris Cité (France). He did a PhD in number theory in Milan. He has been formalizing mathematics since 2020.