Y
Hacker News
new
|
ask
|
show
|
jobs
TLA+ in Practice and Theory, Part 2: The + in TLA+
(
pron.github.io
)
1 points
by
losfair
944 days ago
1 comments
turtleyacht
944 days ago
"TLA+ in Practice and Theory Part 2: The
+
in TLA+"
link