Following

benjamin

@benjamin@benjamin.sonntag.fr

Fredrik Johansson

@fredrikj@mathstodon.xyz

Peter Woit

@peterwoit@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Sidharth Hariharan

@thefundamentaltheor3m@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

Johan Commelin

@jmc@mathstodon.xyz

Sebastian Ullrich

@kha@functional.cafe

Patrick Massot

@patrick_massot@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz

Lean

@leanprover@functional.cafe