Following

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

Adrian Sampson

@adrian@discuss.systems

Patrik Jansson

@patrikja@functional.cafe

Jeremy Gibbons

@jer_gib@functional.cafe

Donnacha Oisín Kidney

@oisdk@mathstodon.xyz

G. Allais

@gallais@mamot.fr

Jesper Agdakx 🔸

@jesper@agda.club

Matteo Capucci

@mc@mathstodon.xyz