These didn't make it to the top: kckennylau, Zhouhang Zhou, Bhavik Mehta, Markus Himmel, Minchao Wu, Minchao, Oliver Nash, Kevin Kappelmann, Vierkantor, semorrison, Alexander Bentkamp, Amelia Livingston, Jean Lo, kbuzzard, Leonardo de Moura, Abhimanyu Pallavi Sudhir, Alex J Best, skbaek, mergify[bot], gebner, Neil Strickland, Jesse Michael Han, urkud, b-mehta, TwoFX, Shing Tak Lam, Sebastian Ullrich, Michael-Howes, Lucas Allen, Joseph Myers, Jan-David, ocfnash, jcommelin, dwarn, bryangingechen, Tobias Grosser, Ramon Fernández, Jannis Limperg, Casper Putz, thjread, rwbarton, roro47, ratmice, guy, faabian, amswerdlow, aarondroidbryce, Wojciech Nawrocki, Sebastian Zimmer, Sander R. Dahmen, Robert Spencer, Paul-Nicolas Madelaine, PatrickMassot, Louis Carlin, Koundinya Vajjha, Johan M. Commelin, JasonKYi, Jan-David Salchow, FredericLeRoux, David Wärn, ChrisHughes24, Chris Wong, Callum Sutton, Calle Sönne, Alistair Tucker
| Month | Author | Commits (%) | Next top 5 | Number of authors |
|---|
| 2020-05 | Yury G. Kudryashov | 15 (26.79% of 56) | Johan Commelin, Chris Hughes, leanprover-community-bot, sgouezel, Oliver Nash | 12 |
| 2020-04 | leanprover-community-bot | 42 (15.91% of 264) | Yury G. Kudryashov, Scott Morrison, sgouezel, Gabriel Ebner, Keeley Hoek | 41 |
| 2020-03 | Scott Morrison | 55 (24.23% of 227) | leanprover-community-bot, Yury G. Kudryashov, sgouezel, Markus Himmel, Rob Lewis | 20 |
| 2020-02 | Yury G. Kudryashov | 39 (29.32% of 133) | Rob Lewis, Johan Commelin, leanprover-community-bot, Gabriel Ebner, Scott Morrison | 22 |
| 2020-01 | Yury G. Kudryashov | 30 (37.04% of 81) | Rob Lewis, Gabriel Ebner, sgouezel, Zhouhang Zhou, Oliver Nash | 18 |
| 2019-12 | Yury G. Kudryashov | 33 (41.77% of 79) | Johan Commelin, sgouezel, Rob Lewis, Floris van Doorn, Kevin Buzzard | 14 |
| 2019-11 | Yury G. Kudryashov | 35 (30.97% of 113) | Rob Lewis, Chris Hughes, sgouezel, Zhouhang Zhou, Bhavik Mehta | 19 |
| 2019-10 | Chris Hughes | 21 (18.10% of 116) | Rob Lewis, Scott Morrison, Reid Barton, Yury G. Kudryashov, Patrick Massot | 21 |
| 2019-09 | Scott Morrison | 23 (23.00% of 100) | Yury G. Kudryashov, Floris van Doorn, Chris Hughes, Johan Commelin, sgouezel | 18 |
| 2019-08 | Chris Hughes | 25 (30.49% of 82) | Floris van Doorn, Rob Lewis, Yury G. Kudryashov, Scott Morrison, Zhouhang Zhou | 19 |
| 2019-07 | Chris Hughes | 32 (28.83% of 111) | Yury G. Kudryashov, Scott Morrison, Johan Commelin, Simon Hudon, Rob Lewis | 19 |
| 2019-06 | Chris Hughes | 11 (26.83% of 41) | Yury G. Kudryashov, sgouezel, Johan Commelin, Scott Morrison, Neil Strickland | 13 |
| 2019-05 | Scott Morrison | 33 (29.46% of 112) | Johan Commelin, Simon Hudon, Reid Barton, Patrick Massot, Floris van Doorn | 17 |
| 2019-04 | Simon Hudon | 25 (20.83% of 120) | Scott Morrison, Chris Hughes, Patrick Massot, sgouezel, Johan Commelin | 24 |
| 2019-03 | Johannes Hölzl | 20 (18.18% of 110) | Chris Hughes, Scott Morrison, sgouezel, Simon Hudon, Patrick Massot | 17 |
| 2019-02 | Johannes Hölzl | 41 (25.95% of 158) | Chris Hughes, Simon Hudon, Scott Morrison, Kenny Lau, sgouezel | 20 |
| 2019-01 | Chris Hughes | 34 (24.11% of 141) | Johannes Hölzl, Reid Barton, sgouezel, kckennylau, Rob Lewis | 15 |
| 2018-12 | Chris Hughes | 10 (16.39% of 61) | Johan Commelin, Jeremy Avigad, Mario Carneiro, Reid Barton, Kenny Lau | 16 |
| 2018-11 | Scott Morrison | 11 (17.19% of 64) | Reid Barton, Chris Hughes, Kenny Lau, sgouezel, Johannes Hölzl | 16 |
| 2018-10 | Johannes Hölzl | 33 (32.35% of 102) | Chris Hughes, Mario Carneiro, Scott Morrison, kckennylau, Keeley Hoek | 17 |
| 2018-09 | Mario Carneiro | 39 (25.16% of 155) | Johannes Hölzl, Simon Hudon, Rob Lewis, Reid Barton, Scott Morrison | 16 |
| 2018-08 | Mario Carneiro | 46 (34.07% of 135) | Johannes Hölzl, Chris Hughes, Scott Morrison, Patrick Massot, Simon Hudon | 13 |
| 2018-07 | Mario Carneiro | 34 (47.22% of 72) | Simon Hudon, Chris Hughes, Johannes Hölzl, Sean Leather, sgouezel | 8 |
| 2018-06 | Mario Carneiro | 17 (40.48% of 42) | Simon Hudon, Chris Hughes, Sean Leather, Reid Barton, Scott Morrison | 8 |
| 2018-05 | Mario Carneiro | 26 (41.94% of 62) | Johannes Hölzl, Sean Leather, Reid Barton, Gabriel Ebner, Johan Commelin | 10 |
| 2018-04 | Mario Carneiro | 23 (34.33% of 67) | Johannes Hölzl, Simon Hudon, Patrick Massot, Chris Hughes, Reid Barton | 13 |
| 2018-03 | Johannes Hölzl | 26 (66.67% of 39) | Mario Carneiro, Patrick Massot, Kenny Lau, Simon Hudon, Kevin Buzzard | 7 |
| 2018-02 | Mario Carneiro | 10 (34.48% of 29) | Johannes Hölzl, Sean Leather, Patrick Massot, Chris Hughes, sgouezel | 9 |
| 2018-01 | Mario Carneiro | 34 (87.18% of 39) | Patrick Massot, Kevin Buzzard, Johannes Hölzl | 4 |
| 2017-12 | Johannes Hölzl | 37 (55.22% of 67) | Mario Carneiro, Sean Leather, Gabriel Ebner, Kevin Buzzard | 5 |
| 2017-11 | Mario Carneiro | 35 (81.40% of 43) | Johannes Hölzl, Sean Leather, Kenny Lau | 4 |
| 2017-10 | Mario Carneiro | 6 (75.00% of 8) | Simon Hudon, Minchao Wu | 3 |
| 2017-09 | Johannes Hölzl | 34 (65.38% of 52) | Mario Carneiro, Minchao, Gabriel Ebner, Jeremy Avigad | 5 |
| 2017-08 | Johannes Hölzl | 27 (47.37% of 57) | Minchao, Mario Carneiro, Jeremy Avigad, Leonardo de Moura, Gabriel Ebner | 7 |
| 2017-07 | Mario Carneiro | 16 (80.00% of 20) | Leonardo de Moura, Sebastian Ullrich, Johannes Hölzl | 4 |
