Skip to Content
Blog
Consulting
Talks
About
Open Invite
Newsletter
Books
New Book:
Computer Things, 2019-2020
Hillel Wayne
Tag:
Posted on
2020, Apr 13
Announcing: Alloydocs
Posted on
2019, Oct 09
Formally Modeling Database Migrations
Posted on
2019, Feb 11
Solving Knights and Knaves with Alloy
Posted on
2018, Jun 11
Formally Specifying UIs
Posted on
2018, Mar 16
Formally Specifying a Package Manager
Posted on
2018, Jan 15
Proving Games are Winnable with Alloy