Paul Lezeau's following
- Tai Hoangthobotics
- Peter Y. Lupeterparity
- Pragya Singhpragyasingh7
- zzgzhengang-zhong
- Troshin Sergeyserjtroshin
- Mistral AImistralai
- Alex J Bestalexjbest
- Jonas BayerTBUGTB
- Anne BaanenVierkantor
- Kevin Buzzardkbuzzard
- Junyan Xualreadydone
- leanprover-community
- Kat-1324
- Huỳnh Trần Khanhhuynhtrankhanh
- Peter David Fazekaspeterfazekas1999