Following

Lean

@leanprover@functional.cafe

Kevin Stewart

@kevin@coolestsmall.town

Thomas Seiller

@thomasseiller@lipn.info

Dan Piponi

@dpiponi@mathstodon.xyz

Locally Trivial

@locallytrivial@mathstodon.xyz

julesh

@julesh@mathstodon.xyz

Australian Maths Society

@AustMS@mathstodon.xyz

James Colliander

@colliand@fosstodon.org

Ryan Marcus

@ryanmarcus@discuss.systems

Terence Tao

@tao@mathstodon.xyz