Following

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Alex Arthur

@JamesA@mathstodon.xyz

Lean

@leanprover@functional.cafe

Julian Berman

@JulianWasTaken@mastodon.social

Kevin Buzzard

@xenaproject@mathstodon.xyz

Juli O'Connor

@juli@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Egbert Rijke

@egbertrijke@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

Andrej Bauer

@andrejbauer@mathstodon.xyz