Following

Alvaro Pintado

@Convention_T@mathstodon.xyz

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

Scott Neville

@drScott@mathstodon.xyz

Rob

@simrob@social.wub.site

🇨🇦 Joey Eremondi

@joey@mathstodon.xyz

PLCon

@plcon@mastodon.acm.org

Talia Ringer

@TaliaRinger@mathstodon.xyz

Noam Zeilberger

@noamzoam@mathstodon.xyz