Following

Fabrizio Musacchio

@FabMusacchio@mastodon.social

George Monbiot

@georgemonbiot.bsky.social@bsky.brid.gy

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

Wouter

@WouterCvB@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

Joseph Myers

@jsm28@mathstodon.xyz