Following

Lean

@leanprover@functional.cafe

AnnLeckie

@AnnLeckie@stranger.social

Talia Ringer

@TaliaRinger@mathstodon.xyz

Nicole Giesbers

@NicoleG@mathstodon.xyz

Paul Krugman

@pkrugman@mastodon.online

Helger Lipmaa

@helger@mathstodon.xyz

Simon L Rydin Myerson

@simonmyerson@mathstodon.xyz

Steven Strogatz

@stevenstrogatz@mathstodon.xyz

Charlotte Kirchhoff-Lukat

@charlottekl@mathstodon.xyz