Following

Talia Ringer

@TaliaRinger@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Sidharth Hariharan

@thefundamentaltheor3m@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

⏚ Antoine Chambert-Loir

@antoinechambertloir@mathstodon.xyz

David Renshaw

@david@social.wub.site

littmath

@littmath@mathstodon.xyz

Moritz Firsching

@MoritzFirsching@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

Patrick Massot

@patrick_massot@mathstodon.xyz

Lean

@leanprover@functional.cafe

Kevin Buzzard

@xenaproject@mathstodon.xyz