TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Show/hide unmodified variables in error trace - #360 September 15, 2019 quaeler
macOS and PDF viewing - #359 and #357 September 14, 2019 quaeler
Warn when PlusCal and TLA+ transpilation diverge - #296 September 13, 2019 quaeler
Changelog notes related to #207 and #296 changes. September 12, 2019 quaeler
Show/hide unmodified variables in error trace - #360 September 12, 2019 quaeler

RT @pvillega: I mentioned that @lambd_ale tickets are almost gone (only 1 left due to a cancellation). You know which ones are al… https://t.co/aSxvA4ZyW3

5 hours ago
RT @lemmster: Slides of #tlaplus conf have been uploaded: https://t.co/jk4KXuu6Bh

4 hours ago
RT @alygin: TLA+ for Visual Studio Code v1.0 🚀 #tlaplus, #pluscal, #vscode https://t.co/PSy17mU9iQ

4 hours ago
RT @lemmster: Special thanks to our speakers: @mullr @hillelogram @parlar @willyjschultz @ywelsch @bestchai @david_mcneil , Dave… https://t.co/XhWWWVaupk

2 days ago
Same is true for #tlaplus conf: https://t.co/QhvDdSrG5c https://t.co/tum3aTwVTe

1 week ago