Following

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

John Carlos Baez

@johncarlosbaez@mathstodon.xyz

Moritz Firsching

@MoritzFirsching@mathstodon.xyz

theHigherGeometer

@highergeometer@mathstodon.xyz

Kevin Buzzard

@xenaproject@mathstodon.xyz

Emily Riehl

@emilyriehl@mathstodon.xyz