Following

Paul Schwahn

@pschwahn@mathstodon.xyz

Jean Abou Samra (new account)

@jeanas@mathstodon.xyz

Jem Lord

@jemlord@mathstodon.xyz

Lean

@leanprover@functional.cafe

Hei Li

@heili@mathstodon.xyz

Luna

@lunarStarlight@mathstodon.xyz

Clemens

@clemens@mathstodon.xyz

Paola Cattabriga

@PaolaCattabriga@mathstodon.xyz

Aghilas Y. Boussaa

@ayb@mathstodon.xyz

Niels van der Weide

@nmvdw@mathstodon.xyz

StartsWithABang

@startswithabang@mastodon.social