Following

Richard Elwes

@richardelwes@mathstodon.xyz

Dave Richeson

@divbyzero@mathstodon.xyz

chinmaya

@chinmaya@mathstodon.xyz

Karl Voit :emacs: :orgmode:

@publicvoit@graz.social

terrorist :: Feline

@majoranaoedipus@mathstodon.xyz

Martin Skrodzki

@msmathcomputer@mathstodon.xyz

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