leanprover/vscode-lean4 Stargazers
- Adrian Martiadrianmartir
- Faizul mansorAizmansor
- beike-zh
- Bryan Gin-ge Chenbryangingechen
- Connor BakerConnorBaker
- crabcrabbo-rave
- Lîm Tsú-thuàndannypsnl
- dillonhuff
- Ed AyersEdAyers
- Eric TaucherEricGT
- Siegmentation Faultforked-from-1kasper
- Gabriel Ebnergebner
- Hagb (Junyu Guo 郭俊余)Hagb
- Huỳnh Trần Khanhhuynhtrankhanh
- intsuc
- Jack Vialjackvial
- Jose BaladoJoseBalado
- Luiz Puppoluizpuppo
- Marc Huisingamhuisi
- monicamothematician
- ndcroos
- Nikitanikitavoloboev
- nnsdaos
- Norman Suenormful
- Govind Pimpalepimpale
- Adrien StalainPolyB
- Ramon Fernández Mirramonfmir
- RiccardoRiki1312
- Saul Shanabrooksaulshanabrook
- Salvador Guzmansguzman
- SteveUSteveUlin
- TelstonPrince
- Utensilutensil
- VitalyRVitalyAnkh
- Wojciech NawrockiVtec234
- Yuri de Witydewit