Following

Robin Kaarsgaard

@rkaarsgaard@mathstodon.xyz

Ethan Marcotte

@beep@follow.ethanmarcotte.com

Dawid Kielak

@kielak@mathstodon.xyz

Codeberg

@Codeberg@social.anoxinon.de

ivankobe

@ivankobe@mathstodon.xyz

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

Tommi 🤯 → 39C3

@tommi@pan.rent

Bernhard Werner

@BernhardWerner@mathstodon.xyz

Lean

@leanprover@functional.cafe

Chris Heunen

@chrisheunen@mathstodon.xyz

Sebastian Ullrich

@kha@functional.cafe