leanprover/verso Stargazers
- Anand Rao0art0
- Alok Singhalok
- Anton Kovsharovantonkov
- Arthur Adjedjarthur-adjedj
- Ted Fengartisdom
- Ashley Blacquiereashandoak
- Bulhwi Chachabulhwi
- Thanh Dochitoge
- cybai (Haku)CYBAI
- aprilcyberglot
- Lîm Tsú-thuàndannypsnl
- George Pîrleadranov
- El Pin Alelpinal
- felko
- Floris van Doornfpvandoorn
- Alexander Chichigingabriel-fallen
- Henrik BövinghargoniX
- Palalansoukîiehality
- joewatt95
- Jon Sterlingjonsterling
- Julian BermanJulian
- Kento Okurakentookura
- Evgenia Karunuslakesare
- Giorgio Marinellimarinelli
- M4tr1xt4ngMATRIXKOO
- Abel Senneuroevolutus
- Masanori Oginoomasanori
- Ramon Fernández Mirramonfmir
- Rob Lewisrobertylewis
- Sami Badawisami-badawi
- KitamadoSeasawher
- SnO₂WMaNSnO2WMaN
- Tim Kerseytkersey
- Tristan de CacquerayTristanCacqueray
- Utensilutensil
- yfzhe