lean-dojo/LeanCopilot Stargazers
- Alok Singhalok
- Amukh1amukh1
- Hypatia du Bois-Marie #RemoveCCP #**下台 #FormalSciencesForHumanRight #形式科學為人權analytic-bias
- Animaanimakumar
- Savelii Kholinasapsav
- Balazs Endreszbalazs-endresz
- BrentKylling
- Shengchao Liuchao1224
- Tianle Caictlllll
- David Buzinskidbuzinski
- denisfitz57
- FiazAbrar
- 爱可可-爱生活fly51fly
- Niklas Gruhngruhn
- Jason Manueljmanuel1
- joewatt95
- Kaito Sugimotokaisugi
- komonad
- Karthik Inbasekarkrakhit
- Marcello Parismarcellop71
- Milad Ramezankhanimiladramzy
- Oscar Balcells Obesoobalcells
- Masanori Oginoomasanori
- Orpheus Lummisorpheuslummis
- Jiabao JiQuestion406
- reynie1514
- Schrodinger ZHU YifanSchrodingerZhu
- Steve Goguensgoguen
- Mohammad Reza Taesiritaesiri
- Fadili TahaTaha-Fadili
- Josh Millervelveteer
- VitalyRVitalyAnkh
- vovunku
- ZHAO Jin-Xiangxiaoxiangmoe
- 俞航yhyu13
- yinhx3