Following

Robin Ince

@robinince@mastodon.social

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Quentin Schroeder

@qschroed@mathstodon.xyz

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