Followers

Lean

@leanprover@functional.cafe

🇨🇦 Joey Eremondi

@joey@mathstodon.xyz

Sebastian Graf

@sgraf@mastodon.online

Johannes Hölzl

@johoelzl@mastodon.social

Julian Berman

@JulianWasTaken@mastodon.social

Joachim Breitner

@nomeata@mastodon.online

Sebastian Ullrich

@kha@functional.cafe

Fenwick McKelvey

@fenwick@aoir.social

Fenwick McKelvey

@fenwick@mastodon.social