Following

Jean Abou Samra (new account)

@jeanas@mathstodon.xyz

Jean Abou Samra

@jeanas@mastodon.abou-samra.fr

Niels van der Weide

@nmvdw@mathstodon.xyz

Jem Lord

@jemlord@mathstodon.xyz

Axel Ljungström

@ljungstrom@mathstodon.xyz

Ada Palmer

@adapalmer@wandering.shop

Sidney Congard

@dwarfobserver@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

VojtechStep

@VojtechStep@mathstodon.xyz