Following

Meven Lennon-Bertrand

@mevenlennonbertrand@lipn.info

Bartosz Milewski

@BartoszMilewski@mathstodon.xyz

Jon Sterling

@jonmsterling@mathstodon.xyz

favonia

@favonia@mathstodon.xyz

MarcusduSautoy

@MarcusduSautoy@mathstodon.xyz

Pietro Monticone

@PietroMonticone@mathstodon.xyz

Robert Reich

@rbreich@masto.ai

Jesper Agdakx 🔸

@jesper@agda.club

Lean

@leanprover@functional.cafe

Nalini Joshi

@monsoon0@mathstodon.xyz

Dima Pasechnik 🇺🇦 🇳🇱

@dimpase@mathstodon.xyz