Re:Leslie Lamport: Video course on TLA+
by AlphaSite on Monday March 20, 2017 @10:27PM
(#13919373)
The paper is more of the same: https://www.microsoft.com/en-us/research/wp-content/uploads/... addmitadly, it's also fairly difficult to follow the random interspersed bits of Greek.
[ Parent
| on HN ]
There are no comments on this comment yet.