Following

Jakob

@jdw@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Eric Wieser

@EricWieser@mathstodon.xyz

bert hubert 🇺🇦🇪🇺🇺🇦

@bert_hubert@eupolicy.social

Christian Lawson-Perfect

@christianp@mathstodon.xyz

Hamza Waseem

@hamza@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Rod Van Meter

@rdviii@famichiki.jp

Emily Riehl

@emilyriehl@mathstodon.xyz

j_bertolotti

@j_bertolotti@mathstodon.xyz