Following

Jon Sterling

@jonmsterling@mathstodon.xyz

Sam Tobin-Hochstadt

@samth@mastodon.social

Cody

@codyroux@mastodon.social

SIGPLAN

@sigplan@discuss.systems

Paul-André Melliès

@pamellies@mathstodon.xyz

Alexandra Silva

@xanovsky@mastodon.social

Cody

@codyroux@mathstodon.xyz

Bas Spitters

@spitters@mastodon.social

The Rocq Prover

@RocqProver@mastodon.acm.org

Tom de Jong

@de_Jong_Tom@mathstodon.xyz

Martin Escardo

@MartinEscardo@mathstodon.xyz