Following

Arjun

@javathunderman@discuss.systems

Jan-Paul Ramos-Dávila

@janpaulpl@mathstodon.xyz

Adela

@adldng@mathstodon.xyz

Lean

@leanprover@functional.cafe

Marie Kerjean

@mkerjean@lipn.info

chris martens

@chrisamaphone@hci.social

PRL @ Northeastern

@prl@mastodon.acm.org

N. Bourbaki

@nbourbaki@mathstodon.xyz

Pedro Amorim

@pamorim@mathstodon.xyz