Skip to content

Top New Best Ask Show Jobs

TLA+ in Practice and Theory, Part 2: The + in TLA+ | Better HN

TLA+ in Practice and Theory, Part 2: The + in TLA+ (opens in new tab)

(pron.github.io)

1 pointslosfair2y ago1 comments

1 comments

turtleyacht2y ago

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

j / k navigate · click thread line to collapse