formal methods Show more
huh... I'm in the mood to do some formal methods stuff again...
Computer Fairies is a Mastodon instance that aims to be as queer, friendly and furry as possible. We welcome all kinds of computer fairies!