Following

Hei Li

@heili@mathstodon.xyz

Seong-Heon Jung

@castlehoney@ruby.social

Meven Lennon-Bertrand

@mevenlennonbertrand@lipn.info

ahuoguo

@ahuoguo@mathstodon.xyz

VojtechStep

@VojtechStep@mathstodon.xyz

OrbiteLambda

@orbite@mastodon.social

The Rocq Prover

@RocqProver@mastodon.acm.org

Dan Grossman

@djg@mastodon.world

Arjun

@javathunderman@discuss.systems