Following

Cat Hicks

@grimalkina@mastodon.social

Petra Schwer

@PetraSchwer@mathstodon.xyz

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

zbMATH Open

@zbMATH@mathstodon.xyz

Karthik Ganapathy

@karthikganapathy@mathstodon.xyz

Zanzi @ Monoidal Cafe

@zanzi@mathstodon.xyz

Bruno Gavranović

@bgavran@mathstodon.xyz

Ryan Tay

@icedhoneylemon@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

Jacob Neumann

@jacobneu@mathstodon.xyz