Following

Tom de Jong

@de_Jong_Tom@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Christian Lawson-Perfect

@christianp@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

Dan Christensen

@jdchristensen@mathstodon.xyz

Ulrik Buchholtz

@buchholtz@mathstodon.xyz

Paolo Perrone

@paolop@mathstodon.xyz

Niles Johnson

@nilesjohnson@mathstodon.xyz

littmath

@littmath@mathstodon.xyz