M. L. Pace's following
- Grant Sanderson3b1b
- Alessandro ScalaAlex23087
- Arden ButterfieldArdenButterfield
- Bartosz MilewskiBartoszMilewski
- David SantamariaDaves1245
- Yuriy RymarchukDropB1t
- Andrea Simone Costajfet97
- Alexis Kinglexi-lambda
- Alessandro S.Mastcharub
- Metamathmetamath
- Oliveriver
- René Horstmannrenehorstmann
- Sara De Chiarasaradec
- Johann Scottsomecollagist
- Stefanoteto1992
- Tsodingtsoding
- Università di PisaUnipisa