Following

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Lean

@leanprover@functional.cafe

Ashley Blacquiere

@ashandoak@functional.cafe

Johannes Hölzl

@johoelzl@mastodon.social

Janus

@Janus@x0r.be

Mike Sperber

@sperbsen@discuss.systems

chris mort💀ens

@chrisamaphone@hci.social

Boarders

@boarders@mathstodon.xyz

Brent Yorgey

@byorgey@mathstodon.xyz

Jules

@julesjacobs@discuss.systems