leanprover/lean3 Stargazers
- Adam C. Foltzeracfoltzer
- Balaji Raobalajirrao
- Brandon Amosbamos
- Simon Cruanesc-cube
- Carter Tazio Schonwaldcartazio
- Catalin Hritcucatalin-hritcu
- Brunoceilican
- chubbymaggie
- codyroux
- David Leon Gilcoruus
- Colin S. Gordoncsgordon
- Charles Strahancstrahan
- Dejan Jovanovićdddejan
- Douglas W. Campbelldwbcampbell
- Dylan McNameedylanmc
- Ed PomEdPom
- Floris van Doornfpvandoorn
- Jeff Hammerbacherhammer
- hanson-avtechtyee
- humeafo
- Jakob von Raumerjavra
- Joe Leongjoeleong
- Keshav Kinikini
- Matthias Schlaipfermschlaipfer
- Manu Sridharanmsridhar
- nikswamy
- Rick Elrodrelrod
- Rohit Sinharsinha
- Stephen Diehlsdiehl
- Suminda Sirinath Salpitikorala Dharmasenasirinath
- Mort Yaosoimort
- Soonho Kongsoonhokong
- Stefan Bucurstefanbucur
- Steven Shawsteshaw
- Thomas M. DuBuissonTomMD
- Junhee chozlqhem
