Following

The Rocq Prover

@RocqProver@mastodon.acm.org

Joseph Myers

@jsm28@mathstodon.xyz

Pirate Badshah

@piraat@mastodon.social

NEOS

@neos@mathstodon.xyz

Constraints Journal

@constraintsjournal@mastodon.acm.org

Guerilla Cricket

@guerillacricket.bsky.social@bsky.brid.gy

Thomas Guillerme

@TGuillerme@mastodon.social

Rens Bod

@rensbod@mastodon.nl

jaume

@jaume@mathstodon.xyz

Paul-André Melliès

@pamellies@mathstodon.xyz

Relinde Jurrius

@RJurrius@mathstodon.xyz