Mathlib reviewers
The mathlib reviewer team helps the mathlib maintainers with the daily reviewing of PRs to mathlib. This team consists of experienced community members that have displayed quality in their contributions and reviews. During the review process of a PR, they leave comments and feedback. Once they deem a PR ready for merging, they place the PR on a queue for a final review and merge instruction by the mathlib maintainers.
Members
- Aaron Anderson
- Adam Topaz
- Alex J. Best
- Anatole Dedecker
- Andrew Yang
- Anne Baanen
- Bhavik Mehta
- Bryan Gin-ge Chen
- Dagur Asgeirsson
- Damiano Testa
- David Loeffler
- David Renshaw
- Eric Rodriguez Boidi
- Eric Wieser
- Filippo A. E. Nuccio
- Floris van Doorn
- Frédéric Dupuis
- Gabriel Ebner
- Heather Macbeth
- Jireh Loreaux
- Johan Commelin
- Jon Eugster
- Joseph Myers
- Joël Riou
- Junyan Xu
- Kevin Buzzard
- Kexing Ying
- Kim Morrison
- Kyle Miller
- Mario Carneiro
- Markus Himmel
- María Inés de Frutos-Fernández
- Matthew Robert Ballard
- Michael Rothgang
- Michael Stoll
- Moritz Doll
- Oliver Nash
- Patrick Massot
- Reid Barton
- Riccardo Brasca
- Robert Y. Lewis
- Ruben Van de Velde
- Rémy Degenne
- Simon Hudon
- Sébastien Gouëzel
- Thomas Browning
- Yaël Dillies
- Yury G. Kudryashov