Following

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

jaume

@jaume@mathstodon.xyz