Following

Andrej Bauer

@andrejbauer@mathstodon.xyz

Timothy Gowers

@wtgowers@mathstodon.xyz

Lean

@leanprover@functional.cafe

theHigherGeometer

@highergeometer@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Rohit Tanwar

@alex_groth@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz