leoprover/Leo-III Watchers
- Andreas Röhlerandreas-roehler
- Christoph Benzmuellercbenzmueller
- eemailme
- EsGehEsGeh
- James Cloosjhcloos
- Alexander Steenlex-lex
- Paul Podlechmadcowpp
- Marc N.marcnnn
- Marco Zienermziener
- naeimsf
- paper2code - botpaper2code-bot
- Philipp Rosenkranzphiros
- MaxRyugoron
- Tomer Libalshaolintl
- Irina Makarenkostilleben
- Frank T.syntakker
- traeger
- yMorakkam