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 Mathlib Initiative. 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.

Jireh Loreaux picture
Jireh Loreaux

Jireh is an Associate Professor of Mathematics in the Department of Mathematics and Statistics at Southern Illinois University Edwardsville (USA). He did a PhD in operator theory and operator algebras at the University of Cincinnati. He has been formalizing mathematics in Lean since 2018, and contributing to mathlib since 2021.

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.