Hacker Next
A High-Level View of TLA+lamport.azurewebsites.net
87 points by blobcode 5 days ago | 19 comments