Following

David Renshaw

@david@social.wub.site

Lean

@leanprover@functional.cafe

Beej 💾

@beejjorgensen@mastodon.sdf.org

Eugen Rochko

@Gargron@mastodon.social

Emily Riehl

@emilyriehl@mathstodon.xyz

Matteo Capucci

@mc@mathstodon.xyz

Stella Angelika Ludwig

@stellaludwig@mastodon.social

Prof Catherine Pfaff, PhD

@PfaffCatherine@mathstodon.xyz

Keenan Crane

@keenancrane@mathstodon.xyz

⏚ Antoine Chambert-Loir

@antoinechambertloir@mathstodon.xyz

Charlotte Aten

@caten@mathstodon.xyz