Following

Niles Johnson

@nilesjohnson@mathstodon.xyz

Joshua Grochow

@joshuagrochow@mathstodon.xyz

qth

@qth@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Matteo Capucci

@mc@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz