Following
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
Yee-Jian Tan
@yeejian_tan@mathstodon.xyz
Egbert Rijke
@egbertrijke@mathstodon.xyz