News for hackers. Stuff that matters.

A comment on Leslie Lamport: Video course on TLA+. Parent comment

Re:Leslie Lamport: Video course on TLA+ by scvalencia on Tuesday March 21, 2017 @01:19AM (#13920039)
That's fantastic. Would be a great contribution to people interested in formal methods. How's your email?
[ Parent | on HN ]

There are no comments on this comment yet.