leanprover/LeanInk Stargazers
- Anand Rao0art0
- abdul dakkakabduld
- Adam Topazadamtopaz
- Adrian Martiadrianmartir
- Alcides Fonsecaalcides
- Junyan Xualreadydone
- Anders Christiansen SørbyAnderssorby
- Anton Kovsharovantonkov
- beike-zh
- Ben Tonerbentoner
- bonawentura
- Brendan Zabarauskasbrendanzab
- Bryan Gin-ge Chenbryangingechen
- Bulhwi Chachabulhwi
- Connor BakerConnorBaker
- Clément Pit-Claudelcpitclaudel
- Henrik BövinghargoniX
- Huỳnh Trần Khanhhuynhtrankhanh
- Niklas Bülowinsightmind
- Tim Carstensintoverflow
- Jose A. Alonsojaalonso
- Johan Commelinjcommelin
- Sebastian UllrichKha
- Davidknothed
- Tomáš Skřivanlecopivo
- Leonardo de Mouraleodemoura
- Nikitanikitavoloboev
- Nicolas Rollandnrolland
- Philip Zuckerphilzook58
- Ramon Fernández Mirramonfmir
- subfish-zhou
- Taro Naoitnaoi
- Utensilutensil
- Vishal Lamavishallama
- Wojciech NawrockiVtec234
- 王虚白xubaiw