Following

Boarders

@boarders@mathstodon.xyz

Ivory by Tapbots :emoji_wink:

@ivory@tapbots.social

Tapbots

@tapbots@tapbots.social

Anil Madhavapeddy

@avsm@amok.recoil.org

Tom de Jong

@de_Jong_Tom@mathstodon.xyz

Jesper Agdakx 🔸

@jesper@agda.club

Andrej Bauer

@andrejbauer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz