Following

Jitse Niesen

@jitseniesen@mathstodon.xyz

Timothy Gowers

@wtgowers@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Vincent Pantaloni

@panlepan@mathstodon.xyz

j_bertolotti

@j_bertolotti@mathstodon.xyz

davidlowryduda

@davidlowryduda@mathstodon.xyz

Nalini Joshi

@monsoon0@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Random three-body problem

@threebodybot@mathstodon.xyz

Lean

@leanprover@functional.cafe