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 albertocsm on Wednesday March 22, 2017 @12:06PM (#13932029)
plz check -> https://groups.google.com/d/msg/tlaplus/lAeWdCE9MLw/v03t3UEv...
[ Parent | on HN ]

There are no comments on this comment yet.