Following

Fabio Natali

@fnat@social.coop

Yaroslav Khnygin

@surabax@mastodon.ie

Ryan Doenges

@doenges@mathstodon.xyz

noctux

@noctux@chaos.social

visuwesh

@viz@mastinsaan.in

Klara ❤️

@boo_@im-in.space

Jaap Zeldenrust

@jozeldenrust@social.sdfeu.org

The Rocq Prover

@RocqProver@mastodon.acm.org