Following

Jean Abou Samra (new account)

@jeanas@mathstodon.xyz

He Zhang

@He_Zhang@mathstodon.xyz

Lean

@leanprover@functional.cafe

Mark Dominus

@mjd@mathstodon.xyz

Eigil Rischel

@eigil@mathstodon.xyz

Locally Trivial

@locallytrivial@mathstodon.xyz

Slava Pestov

@slava@mathstodon.xyz

Paul Bryan

@pabryan@mathstodon.xyz

Jakub Opršal

@jakub_et_al@mathstodon.xyz

Dr John Evans

@JDPEvans@mathstodon.xyz

Karthik Ganapathy

@karthikganapathy@mathstodon.xyz

Svajūnas Sajavičius

@Sajavicius@mathstodon.xyz