TLA+ | The way to specify

The TLA+ and PlusCal Resource

Skip to content

Search for:

Commented Unassigned: TLAPM Error [44] April 26, 2017
Created Unassigned: TLAPM Error [44] April 24, 2017
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016
Commented Unassigned: Unable to install TLAPS on Ubuntu 16.04 [43] October 6, 2016

Raise your hand, if a #tlaplus workshop in Oxford, UK in 2018 is appealing to you: https://t.co/GMPKqJdL0J

3 weeks ago
A subreddit for TLA+: https://t.co/F2JGGgzDME

1 month ago
RT @Hillelogram: MODERATELY-SIZED update coming to https://t.co/S37OG6Epdn tomorrow! #tlaplus

1 month ago
The TLA+ introductory video course is coming along nicely. The current episode even has two guest stars appearing. https://t.co/BejJwUMQV7

1 month ago
RT @Hillelogram: Made a repo to collect useful #tlaplus operators https://t.co/FJ9MwgTAUJ

1 month ago