Following

Egbert Rijke

@egbertrijke@mathstodon.xyz

Barbara Fantechi

@barbarafantechi@mastodon.social

Martin Escardo

@MartinEscardo@mathstodon.xyz

littmath

@littmath@mathstodon.xyz

Matteo Capucci

@mc@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Carles Sáez

@csaez_math@mathstodon.xyz

enricflorit

@efz1005@mathstodon.xyz

Riojano Navideño

@RiojanoUnitario@mathstodon.xyz

PedroMayP

@pedromayped@mathstodon.xyz