Re:Leslie Lamport: Video course on TLA+
by ahelwer on Monday March 20, 2017 @11:06PM
(#13919542)
Aw, thanks!
[ Parent
| on HN ]
There are no comments on this comment yet.
There are no comments on this comment yet.