Followers

tamimi

@tamimi@mastodon.acm.org

Stephane L Rolland-Brabant ⁂⧖⏚

@stphrolland@mathstodon.xyz

freax

@freax@joinfriendica.de

Charles Southerland

@csoutherland@mastodon.acm.org

Marius Mikučionis

@MariusM@qoto.org

Nicolai Brodersen Hansen

@nbhansen@mastodon.social

Kettle, Turing-complete

@turingfull_kettle@mathstodon.xyz

Formal Methods Europe

@fme@mastodon.acm.org

Andrzej Wąsowski ☑️ 🟥

@AndrzejWasowski@social.itu.dk