lean-dojo/LeanCopilot Stargazers
- Junyan Xualreadydone
- Auguste Poirouxaugustepoiroux
- beike-zh
- Barton Rhodesbmorphism
- Connor BakerConnorBaker
- fqfoocker
- Zheng YuanGanjinZero
- gapry
- gm8xx8
- HanYuanHsu
- jcJonathanChavezTamales
- josojojosojo
- Lattice 0lattice0
- Nikitanikitavoloboev
- Oren Elbaumorenelbaum
- oscarlaird
- Brandon Boutlace
- Peiyang SongPeiyang-Song
- Ramon Fernández Mirramonfmir
- Rany Tithranyishere
- Rujia Liurujialiu
- Min-Hsien Wengsamminweng
- KitamadoSeasawher
- 조승혁seunghyukcho
- ShrysShreyas4991
- Siddhartha Gadgilsiddhartha-gadgil
- SnO₂WMaNSnO2WMaN
- Manisogood99
- Theo X. Olaussontheoxo
- Tim Kerseytkersey
- universemaster
- Utensilutensil
- weihongliang233
- Kaiyu Yangyangky11
- Yifan Zhangyifanzhang-pro
- Youjack