leanprover/lean3 Stargazers
- Sam Thomsonsammthomson
- Wei Chenwweic
- Stan SooCheeseTurtle
- Jack GallagherGallagherCommaJack
- Andrew Marmadukeamarmaduke
- SakurakawaiiyoLprniys
- Mario Rodasmarsam
- kaikai-qu
- Aistis Raulinaitissheganinans
- Jan Vlnasjnv
- Xavier Pinhoxavierpinho
- Jesper Cockxjespercockx
- Sam Goldmansamwgoldman
- Rokhan
- Mitsutoshi Aoemaoe
- gradetwogradetwo
- Andrew Sutherlandasutherland
- Joshua Yanovskipythonesque
- Yuya Nishiyamansyee
- ichizok
- Miikka Liukkonensaturation
- Shun MIZUKAMImizukami234
- eaubin
- Daniel J. H.daniel-j-h
- Jan de Muijnck-Hughesjfdm
- dicioccio lucaslucasdicioccio
- Claudia Doppioslashdoppioslash
- Nick Palladinospalladin
- Reto Kramerret
- Jordan Wjordwalke
- Ian Gravesigraves
- daniel gratzerjozefg
- denisfitz57
- Jeff HarrisonJeffrharr
- L WShadowCreator
- Doppp