Following

José A. Alonso

@Jose_A_Alonso@mathstodon.xyz

Andrés E. Caicedo

@AndresCaicedo@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Paul-André Melliès

@pamellies@mathstodon.xyz

Thomas Powell

@thomaspowell@mathstodon.xyz

Boarders

@boarders@mathstodon.xyz

Hamza Waseem

@hamza@mathstodon.xyz

daniel gratzer

@danielgratzer@mathstodon.xyz

Artem Chernikov

@archernikov@mathstodon.xyz