Website/blog

The website/blog team is responsible for the technical infrastructure that keeps the community website running. This also includes the community blog and the auto-generated documentation of mathlib.

Members

Eric Wieser picture
Eric Wieser

Eric is a PhD student at the University of Cambridge (UK). He has been formalizing mathematics since 2020, and maintaining open source software since 2017.

Patrick Massot picture
Patrick Massot

Patrick is a Professor of Mathematics at Université Paris-Saclay at Orsay (France). He did a PhD in differential topology in Lyon. He has been formalizing mathematics since 2017.

Robert Y. Lewis picture
Robert Y. Lewis

Rob is a lecturer in the Department of Computer Science at Brown University (USA). He did a PhD in Pure and Applied Logic at Carnegie Mellon University in Pittsburgh. He has been formalizing mathematics since 2014.