Code of conduct

This team handles incident reports and maintains community standards. See the community web page.

Members

Anne Baanen picture
Anne Baanen

Anne is a Mathematical Research Engineer at the Lean FRO. They did a PhD on formalizing algebraic number theory at Vrije Universiteit Amsterdam (Netherlands). They have been formalizing proofs in mathematics and computer science since 2018.

Jeremy Avigad picture
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
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.