meowesque

Status: Active user
Joined: 6 days ago by invitation from targetdisk
Karma: 0
Stories Submitted: 0
Comments Posted: 1
Homepage: https://meow.esq
GitHub: https://github.com/meowesque
About:

Interested in formal verification and low-level programming.