leanprover/lean3 Watchers
- Aakarsh Nairaakarsh
- MD Mishfaq Ahmedahmedmishfaq
- Alexandre Rademakerarademaker
- Etienne LaurinAtnNn
- BENMBENMFeng
- bustamante
- Simon Hudoncipher1024
- Colin S. Gordoncsgordon
- Charles Strahancstrahan
- Timothy Dalydaly
- David Thrane Christiansendavid-christiansen
- David Glassborowdavidglassborow
- Mario Carneirodigama0
- DominikDominikHolenstein
- Edward Tjörnhammaredwtjo
- evandrixevandrix
- James Cloosjhcloos
- Josh TillesJosh-Tilles
- Jared Roeschjroesch
- Sebastian UllrichKha
- Yasuaki Moritamoritayasuaki
- Yuya Nishiyamansyee
- Yuichi Nishiwakinyuichi
- Rehno Lindequerehno-lindeque
- S-YOU
- Kim Morrisonsemorrison
- Soonho Kongsoonhokong
- Stig Kleppe-Jørgensenstigkj
- Stefan Wilsswils
- Tim Baumanntimjb
- Minh-Triet Pham Trantrietptm
- Abhik Khanratrycatcher
- u20024804
- David Whittenwhitten
- Yasuaki Kudoyugawara
- Johnzzfnohell