Following

Ryan Brewer

@ryanbrewer@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz

Lean

@leanprover@functional.cafe

Sebastian Ullrich

@kha@functional.cafe

Bob Nystrom

@munificent@mastodon.social

theHigherGeometer

@highergeometer@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz