Following

Ulrik Buchholtz

@buchholtz@mathstodon.xyz

Tom de Jong

@de_Jong_Tom@mathstodon.xyz

Jesper Agdakx 🔸

@jesper@agda.club

Martin Escardo

@MartinEscardo@mathstodon.xyz

Meven Lennon-Bertrand

@mevenlennonbertrand@lipn.info

Jon Sterling

@jonmsterling@mathstodon.xyz