leanprover/lean4 Watchers
- Alexander WilmsAlexander-Wilms
- Alex J Bestalexjbest
- Alexander TAleXoundOS
- awson
- Siddharthbollu
- Bryan Gin-ge Chenbryangingechen
- bustamante
- GP Wangcetium
- Simon Hudoncipher1024
- Dmitry Atamanovdata-man
- David Thrane Christiansendavid-christiansen
- Mario Carneirodigama0
- Andrés Goensgoens
- Jason GrossJasonGross
- Jevin Swevaljevinskie
- James Cloosjhcloos
- Johnny OpcodeJohnnyOpcode
- Josh TillesJosh-Tilles
- Sebastian UllrichKha
- Kyle Millerkmill
- Leonardo de Mouraleodemoura
- Matthias LittmannMatthiasLittmann
- Niklas Larssonmelted
- Yasuaki Moritamoritayasuaki
- Joachim Breitnernomeata
- Rudi Grinbergrgrinberg
- Rob Lewisrobertylewis
- Kim Morrisonsemorrison
- gym603smalltalkman
- Tomasz Nguyenswist
- Ciprian Teodorovteodorov
- tobias13
- Ozan Tugluktugluk
- Toralf Wittnertwittner
- Markus HimmelTwoFX
- Yuri de Witydewit