Following

Greg Egan

@gregeganSF@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

European Mathematical Society

@EuroMathSoc@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Michael Kinyon

@ProfKinyon@mathstodon.xyz

Lean

@leanprover@functional.cafe

Etienne Jacob

@bleuje@mathstodon.xyz

Adam Fowler

@opticalaberration@mastodon.scot

Andrew W Swan

@aws@mathstodon.xyz

Konrad 'ktoso' Malawski

@ktoso@mastodon.social

Joseph Myers

@jsm28@mathstodon.xyz