Following

Wolfgang

@notthebee@tilde.zone

maxgubi

@maxgubi@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Bart Jacobs

@bjacobs@social.edu.nl

daniel gratzer

@danielgratzer@mathstodon.xyz

Hei Li

@heili@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Artem Chernikov

@archernikov@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz