Following

Paul Reichert

@paulreichert@mathstodon.xyz

Janus Troelsen

@janus@norden.social

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Lean

@leanprover@functional.cafe

Ashley Blacquiere

@ashandoak@functional.cafe

Johannes Hölzl

@johoelzl@mastodon.social

Mike Sperber

@sperbsen@discuss.systems

chris martens

@chrisamaphone@hci.social

Boarders

@boarders@mathstodon.xyz

Brent Yorgey

@byorgey@mathstodon.xyz