Following

theHigherGeometer

@highergeometer@mathstodon.xyz

Lean

@leanprover@functional.cafe

European Mathematical Society

@EuroMathSoc@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Marty

@martincrownover@mastodon.gamedev.place

Terence Tao

@tao@mathstodon.xyz