Following

Matt McIrvin

@mattmcirvin@mathstodon.xyz

Thomas Bloom

@thomasfbloom@mathstodon.xyz

Colin the Mathmo

@ColinTheMathmo@mathstodon.xyz

Patrick Honner

@phonner@mathstodon.xyz

James Colliander

@colliand@fosstodon.org

Lean

@leanprover@functional.cafe

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz