Following

Lean

@leanprover@functional.cafe

Nestor

@birdsnfrogs@mathstodon.xyz

Thomas Bloom

@thomasfbloom@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

European Mathematical Society

@EuroMathSoc@mathstodon.xyz

MarcusduSautoy

@MarcusduSautoy@mathstodon.xyz

Vince Vatter

@VinceVatter@mathstodon.xyz

Patrick Honner

@phonner@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz