Alloy

tags: Formal Methods

Jessica Kerr and Avdi Grimm try the tutorial: https://m.twitch.tv/videos/596088971

Will O'PediaWill O'Hanley's notes

home posts gitlab github twitter are.na goodreads