Following

Chris Heunen

@chrisheunen@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz

Egbert Rijke

@egbertrijke@mathstodon.xyz

Noam Zeilberger

@noamzoam@mathstodon.xyz

Colin the Mathmo

@ColinTheMathmo@mathstodon.xyz

Bob Coecke

@Bob_Coecke@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz