Following

Vale

@vale@fedi.vale.rocks

Terence Tao

@tao@mathstodon.xyz

Bob Coecke

@Bob_Coecke@mathstodon.xyz

Anders Mörtberg

@mortberg@mathstodon.xyz

Jesper Agdakx 🔸

@jesper@agda.club

daniel gratzer

@danielgratzer@mathstodon.xyz

Sharlatan

@sharlatan@mastodon.social

Andrej Bauer

@andrejbauer@mathstodon.xyz

Chris Heunen

@chrisheunen@mathstodon.xyz