The TLA Home Page

Article URL: http://lamport.azurewebsites.net/tla/tla.html

Comments URL: https://news.ycombinator.com/item?id=34615498

Points: 2

# Comments: 0

from Hacker News: Newest https://ift.tt/mQPeqpb