Following

Andrej Bauer

@andrejbauer@mathstodon.xyz

Bojidar Marinov

@bojidar_bg@mastodon.social

Max Horn

@maxhorn@mathstodon.xyz

Terence Tao

@tao@mathstodon.xyz

Carlo Angiuli

@carloangiuli@mathstodon.xyz

Thomas Leonard

@talex5@mastodon.social

Jon Sterling

@jonmsterling@mathstodon.xyz