Following

Samuel Mimram

@smimram@mathstodon.xyz

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Ryan Doenges

@doenges@mathstodon.xyz

Robin Kaarsgaard

@rkaarsgaard@mathstodon.xyz

ACP Section

@acp@mastodon.acm.org

The Rocq Prover

@RocqProver@mastodon.acm.org

Johannes Hölzl

@johoelzl@mastodon.social

Mark Walker

@zlqrvx@mathstodon.xyz

Rob

@simrob@social.wub.site

Alexandre Moine

@amoine@discuss.systems

Sophie Huiberts

@sophiehuiberts@mathstodon.xyz