pitmonticone/LeanProject Stargazers
- adyang1
- Alex Olteanalexoltean61
- Alok Singhalok
- Junyan Xualreadydone
- BENMBENMFeng
- BitterKanegul
- Bryan Gin-ge Chenbryangingechen
- chenjulang
- Claudio MoroniClaudMor
- codeaudit
- Misael Cureñocurenosm
- Daniele Pusceddudanielepusceddu
- Formal-Mathematics-Lab
- Zheng YuanGanjinZero
- Giovanni MonticoneGiovanniMonticone
- Mohamed Saherhalsten
- Thomas Zhuhanwenzhu
- Hilal Muftihilalmufti
- hugeswd
- Ítalo Oliveiraitalojsoliveira
- Lorenzo LuccioliLorenzoLuccioli
- Metin Ersin Aricanmetinersin
- MosGalaxy
- Marcello Serimseri
- Abdullah Uyuoneofvalts
- RustyRustyCobalt36
- Steve Goguensgoguen
- smoonthskysmoonthsky
- Sofiane TanjiSofianeTanji
- Lua 🌒soficshift
- ThomasGraceman
- Utensilutensil
- Nathan Lloyd Wardwardnath
- Hongyu WangWHY-Op109
- Yıldırım Akbaly-akbal
- yiyishibashi
