Following

Martin Escardo

@MartinEscardo@mathstodon.xyz

David Jaz Myers

@DavidJaz@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

julesh

@julesh@mathstodon.xyz

Zanzi @ Monoidal Cafe

@zanzi@mathstodon.xyz