ProofGeneral/PG Stargazers
- Adrien BecchisAdrieanKhisbe
- Alexandreallezxandre
- Xuan Bibixuanzju
- cantora
- cocoatomococoatomo
- Clément Pit-Claudelcpitclaudel
- David M. Cookedmcooke
- Lev Lamberovdogsleg
- Denis Redozubovdredozubov
- Alexandra Catalinadunn
- Erik Martin-Dorelerikmd
- Emma "Frank" Toschetosch
- Alexisflexibeast
- FreeBirdLjjFreeBirdLjj
- Philipp G. Haselwarterhaselwarter
- Ivan Kurajikuraj
- ineol
- jmitchell
- Jonathan Leiventjonleivent
- Karl Smeltzerkarljs
- κeenKeenS
- Rice Winelczch
- Mario Rodasmarsam
- morusleaf
- Matthew Purlandmpurland
- ndcroos
- Olivier Verdierolivierverdier
- Ondřej SlámečkaOndrejSlamecka
- Kazuhiko Sakaguchipi8027
- Shumo Chustechu
- Pierre-Yves Strubstrub
- themattchan
- Tyler Ceciltylercecil
- Peng Wangwangpengmit
- James Wilcoxwilcoxjay
- Eric Baileyyurrriq