Following

Mihalak, Matus (DACS)

@Matus@social.edu.nl

Pim Otte

@pimotte@mathstodon.xyz

Fabrizio Musacchio

@pixeltracker@sigmoid.social

Wouter

@WouterCvB@mathstodon.xyz

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

Thomas Guillerme

@TGuillerme@mastodon.social

Rens Bod

@rensbod@mastodon.nl