Following

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

Matteo Capucci

@mc@mathstodon.xyz