Following

Lean

@leanprover@functional.cafe

Our World in Data

@ourworldindata@vis.social

European Mathematical Society

@EuroMathSoc@mathstodon.xyz

Colin the Mathmo

@ColinTheMathmo@mathstodon.xyz

Giulio Tiozzo

@tiozzo_giulio@mathstodon.xyz

Quanta Magazine

@QuantaMagazine@mstdn.social

Terence Tao

@tao@mathstodon.xyz