Following

Uzu Lim

@uzulim@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Lean

@leanprover@functional.cafe

Emily Riehl

@emilyriehl@mathstodon.xyz

littmath

@littmath@mathstodon.xyz

seewoo5

@seewoo5@mathstodon.xyz

Sidharth Hariharan

@thefundamentaltheor3m@mathstodon.xyz

Peter Rowlett

@peterrowlett@mathstodon.xyz

∞ 𝕁uan ℂarlos

@jcponcemath@mathstodon.xyz

robinhouston

@robinhouston@mathstodon.xyz

Carles Sáez

@csaez_math@mathstodon.xyz

Ianagol

@Ianagol@mathstodon.xyz