Following

Zhixuan Yang

@zyang@mathstodon.xyz

TCS blog aggregator

@cstheory@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

Lean

@leanprover@functional.cafe

fouche

@fouche@mathstodon.xyz

Erik Kemp 🇪🇺

@erikkemp@tukkers.online

Ionica Smeets

@ionica@mathstodon.xyz

HarrisonGrodin

@HarrisonGrodin@mathstodon.xyz

⏚ Antoine Chambert-Loir

@antoinechambertloir@mathstodon.xyz