Following

Garrett Lisi

@Garrett@mathstodon.xyz

perfectoid

@perfectoid@mathstodon.xyz

bourbaki

@bourbakii@mastodon.social

OCaml

@ocaml@mastodon.social

daniel gratzer

@danielgratzer@mathstodon.xyz

Meven Lennon-Bertrand

@mevenlennonbertrand@lipn.info

4Jz

@4Jz@mathstodon.xyz

Paul Schwahn

@pschwahn@mathstodon.xyz

Jeremy Gibbons

@jer_gib@functional.cafe

Fredrik Johansson

@fredrikj@mathstodon.xyz

Omar Antolín

@oantolin@mathstodon.xyz