Following

Arthur Charpentier ⏚ 🇨🇦 🇯🇵

@freakonometrics@mastodon.social

David Renshaw

@david@social.wub.site

Patrick Massot

@patrick_massot@mathstodon.xyz

Esther a.k.a U039b

@U039b@mastodon.social

Lean

@leanprover@functional.cafe

julesh

@julesh@mathstodon.xyz

Sedista

@Sedista@mastodon.social

Pietro Monticone

@PietroMonticone@mathstodon.xyz

Marcel Fröhlich

@FrohlichMarcel@mathstodon.xyz

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

ToposInstitute

@ToposInstitute@backend.newsmast.org

Timothy Gowers

@wtgowers@mathstodon.xyz