Following

Ingo Blechschmidt

@iblech@mathstodon.xyz

Deyan Ginev

@dginev@mathstodon.xyz

James E Hanson

@jameshanson@mathstodon.xyz

Type Theory Forall

@ttforall@techhub.social

Carlo Angiuli

@carloangiuli@mathstodon.xyz

Paul Taylor

@Paul_Taylor@mathstodon.xyz

AndrasKovacs

@AndrasKovacs@mathstodon.xyz

ivankobe

@ivankobe@mathstodon.xyz

Jean Abou Samra (new account)

@jeanas@mathstodon.xyz

Amr Sabry

@amrsabry@mastodon.social

Niels van der Weide

@nmvdw@mathstodon.xyz

SIGPLAN AV

@sigplanav@mastodon.acm.org