Following

Lars Birkedal

@BirkedalLars@mathstodon.xyz

seL4

@sel4@fosstodon.org

Jesper Agdakx 🔸

@jesper@agda.club

Dylan Braithwaite

@dylan@mathstodon.xyz

Matthew Scroggs

@mscroggs@mathstodon.xyz

littmath

@littmath@mathstodon.xyz

Michael Kinyon

@ProfKinyon@mathstodon.xyz

Logic Bot

@logicbot@mathstodon.xyz

julesh

@julesh@mathstodon.xyz