Following

Jon Sterling

@jonmsterling@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Gerwin Klein

@lsf37@mstdn.social

Liang-Ting Chen

@ltchen@mathstodon.xyz

Oscar Cunningham

@OscarCunningham@mathstodon.xyz

Noam Zeilberger

@noamzoam@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Talia Ringer

@TaliaRinger@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

José A. Alonso

@Jose_A_Alonso@mathstodon.xyz