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 pron on Tuesday March 21, 2017 @09:57AM (#13922206)
I expect to publish the posts starting in mid-May. My twitter handle is pressron
[ Parent | on HN ]

There are no comments on this comment yet.