Following

Jesper Agdakx 🔸

@jesper@agda.club

Nicolas P. Rougier

@rougier@toot.aquilenet.fr

David Wilson

@daviwil@fosstodon.org

Mi Lia

@mlliarm@mathstodon.xyz

Jim Fowler

@kisonecat@mathstodon.xyz

luuksv

@luuksv@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Dan Christensen

@jdchristensen@mathstodon.xyz

Ieva

@hyperboIeva@mathstodon.xyz