Elliot's following
- aitramah
- Ardy Naghshinehardalann
- Benjamin Braybenrbray
- Bjorn Lubluwy
- Brandon Pereirabrandon-pereira
- CDG Labscdglabs
- Cole Lawrencecolelawrence
- Conal Elliottconal
- Cyrus Omarcyrus-
- andrew blinndisconcision
- David Moondm0n3y
- Alexander Wangdragonman225
- Dudley Storeydudleystorey
- Andrzej Mazurend3r
- Hannah Potterhannahpotter
- Jakob BrünkerJakobBruenker
- Matt Smithktingvoar
- Max Kurapovmkurapov
- Nathan Carternathancarter
- Patrick Dubroypdubroy
- Prathyushprathyvsh
- Raza Qaziraza-qazi
- Ross Kirslingrkirsling
- sharonsharon-wang
- Toph Tuckertophtucker
- Univalent MathematicsUniMath
- Amelia WattenbergerWattenberger
- William E. Byrdwebyrd