fgm/learning_tla
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
learning_tla/reference
History
Exact
Frederic G. MARAND b4b3b4e1a5 Lamport PlusCal: 2.1-2.5 Euclid's algorithm.
2025-02-27 16:24:42 +01:00
..
auxiliary-variables.pdf Lamport 10.2: refinement mappings, auxiliary variables. 2025-02-21 18:20:43 +01:00
c-manual.pdf Learn TLA+ Core -> nondeterminism. Lamport cleanup. 2025-02-08 18:44:33 +01:00
p-manual.pdf Learn TLA+ Core -> nondeterminism. Lamport cleanup. 2025-02-08 18:44:33 +01:00
pluscal cheatsheet merz@loria.pdf Lamport PlusCal: 2.1-2.5 Euclid's algorithm. 2025-02-27 16:24:42 +01:00
tla-book-08H02.pdf Learn TLA+ Core -> TLA+. 2025-02-11 18:38:10 +01:00
tla-cheat-sheet-v1.pdf Learn TLA+ Core -> concurrency. 2025-02-09 09:50:23 +01:00