Following

SDF.ORG

@SDF@mastodon.sdf.org

Emily Riehl

@emilyriehl@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Simon Greenhill

@simon@mastodon.nz

Johan Commelin

@jmc@mathstodon.xyz

Mihalak, Matus (DACS)

@Matus@social.edu.nl

Pim Otte

@pimotte@mathstodon.xyz

Fabrizio Musacchio

@pixeltracker@sigmoid.social

Wouter

@WouterCvB@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

Joseph Myers

@jsm28@mathstodon.xyz