Following

Jakub Opršal

@jakub@mastodon.acm.org

favonia

@favonia@mathstodon.xyz

Tom de Jong

@de_Jong_Tom@mathstodon.xyz

Matt McIrvin

@mattmcirvin@mathstodon.xyz

Victor V. Albert

@vva@mastodon.online

Andrej Bauer

@andrejbauer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz