TLA+ in Practice and Theory, Part 2: The + in TLA+ (pron.github.io)

1 points by losfair 2y ago ↗ HN

1 comment

[ 3.9 ms ] story [ 14.7 ms ] thread

turtleyacht 2y ago ↗

"TLA+ in Practice and Theory Part 2: The + in TLA+"