Following

Fredrik Nordvall Forsberg

@fnf@mathstodon.xyz

Fabrizio Montesi ⬣ A➔B

@fmontesi@mastodon.social

Mignon Fogarty

@grammargirl@zirk.us

Jean Abou Samra (new account)

@jeanas@mathstodon.xyz

Lean

@leanprover@functional.cafe

Michael Engel

@me_@sueden.social

Volker Stolz

@fm_volker@mastodon.social

Vadim Zaliva

@vzaliva@mastodon.acm.org

Rogue Scholar

@rogue_scholar@wisskomm.social

Vale

@vale@fedi.vale.rocks

eevee 🦊

@eevee@slime.global

amelia

@miado@discuss.systems