Following

Mairieli Wessel

@mairieli@mastodon.social

Dan Frumin

@dif@mathstodon.xyz

Dominik Wehr

@dw@mathstodon.xyz

Deivid Vale

@deividvale@mathstodon.xyz

Zhixuan Yang

@zyang@mathstodon.xyz

TCS blog aggregator

@cstheory@mathstodon.xyz

The Rocq Prover

@RocqProver@mastodon.acm.org

Lean

@leanprover@functional.cafe