Following

Rafaël Bocquet

@rafaelbocquet@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

Manon Blanc

@mblanc@mathstodon.xyz

Marie Kerjean

@mkerjean@lipn.info

yosh

@yosh@toot.yosh.is

Jesper Agdakx 🔸

@jesper@agda.club

Jem Lord

@jemlord@mathstodon.xyz

ToucanIan

@ToucanIan@mathstodon.xyz

AndrasKovacs

@AndrasKovacs@mathstodon.xyz