TLA+ in Practice and Theory, Part 2: The + in TLA+pron.github.io1 point·losfair··1 commentOpen articleSaveView on HN