Following

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

Nima Rasekh

@nimarasekh@mathstodon.xyz

Nicolai Kraus

@Nicolai_Kraus@mathstodon.xyz

Meven Lennon-Bertrand

@mevenlennonbertrand@lipn.info

Rahul Chhabra

@rahulc29@mathstodon.xyz