Following

Simon Oddershede Gregersen

@sgregersen@mathstodon.xyz

M Dell

@Mndell@mastodon.social

GNU Taler

@Taler@fosstodon.org

Johannes Schipp von Branitz

@johannes_svb@mathstodon.xyz

Thomas Leonard

@talex5@mastodon.social

Gert Smolka

@gert_smolka@mastodon.social

Bart Jacobs

@bjacobs@social.edu.nl

Fredrik Bakke

@FredrikBakke@mathstodon.xyz

Erik Martin-Dorel

@ErikMartinDorel@fosstodon.org

The Rocq Prover

@RocqProver@mastodon.acm.org