Following

Lars Birkedal

@BirkedalLars@mathstodon.xyz

Dan Frumin

@dif@mathstodon.xyz

Lean

@leanprover@functional.cafe

jcreed

@jcreed@mastodon.social

Jakob

@jdw@mathstodon.xyz

Arie van Deursen

@avandeursen@mastodon.acm.org

Leonardo Pacheco

@leonardopacheco@mathstodon.xyz

Niels van der Weide

@nmvdw@mathstodon.xyz

Andres Löh

@kosmikus@functional.cafe