leanprover/lean4 Stargazers
- Максим Сохацький5HT
- Junyan Xualreadydone
- Anquranqurvanillapy
- Etienne LaurinAtnNn
- Benbmsherman
- bond15
- Catalin Hritcucatalin-hritcu
- Ed AyersEdAyers
- felko
- François G. Doraisfgdorais
- Björn Fischerfischerman
- fncnt
- Siegmentation Faultforked-from-1kasper
- Floris van Doornfpvandoorn
- Johan Commelinjcommelin
- Jon Sterlingjonsterling
- Josh TillesJosh-Tilles
- Liang-Ting ChenL-TChen
- Luis Berliozlab156
- Lucas Vieiralucassouzavieira
- luxbockluxbock
- Matteo Busimatteobusi
- Minchao Wuminchaowu
- Marcos Benevidesmtrsk
- Yuichi Nishiwakinyuichi
- bc²odanoburu
- Patrick MassotPatrickMassot
- Rick Elrodrelrod
- Romain Ruetschiromac
- Scott Fleischmanscott-fleischman
- Stephen Diehlsdiehl
- Mort Yaosoimort
- soraros
- Corwin Dongtaigua
- Wojciech NawrockiVtec234
- Vasiliy Yorkinvyorkin