leanprover-community/mathlib Stargazers
- adhalanay
- Junyan Xualreadydone
- Brandon T. Willardbrandonwillard
- Brendan Zabarauskasbrendanzab
- Cyril CohenCohenCyril
- Dimercel
- Siegmentation Faultforked-from-1kasper
- Floris van Doornfpvandoorn
- Gabriel Ebnergebner
- Johan Commelinjcommelin
- Jesse Michael Hanjesse-michael-han
- Max Gjgoldfar
- jiangplusjiangplus
- Juan Bonojuanbono
- junji hashimotojunjihashimoto
- jxu
- Kevin Clancykevinclancy
- Guannan WeiKraks
- Linpingchuanlinpingchuan
- Yufan Loulouy2
- Lucasltouro
- Matt Erbstmerbst
- Michael Jendruschmjendrusch
- MOZGIIIMOZGIII
- Russell Mullmullr
- nate stemennatestemen
- Neil Vyasneilvyas
- nhjk
- Patrick MassotPatrickMassot
- petrosyh
- Philippe Desjardins-ProulxPhDP
- Remco Bloemenrecmo
- Stephen Diehlsdiehl
- Siva Somayyajulassomayyajula
- Sven WilleSvenWille
- Nguyễn Tú Anhtanhtm