Following

José A. Alonso

@Jose_A_Alonso@mathstodon.xyz

Colin the Mathmo

@ColinTheMathmo@mathstodon.xyz

Arend Bayer

@arendbayer@mastodon.social

Gerard Westendorp

@GerardWestendorp@mathstodon.xyz

Simon Pepin Lehalleur

@plain_simon@mathstodon.xyz

⏚ Antoine Chambert-Loir

@antoinechambertloir@mathstodon.xyz

littmath

@littmath@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

R_devs_news

@R_devs_news@fosstodon.org

0xDE

@@mathstodon.xyz

robinhouston

@robinhouston@mathstodon.xyz