fgm/learning_tla
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
No description
25 commits 1 branch 0 tags 8.5 MiB
  • TLA 77.7%
  • TeX 18.4%
  • Shell 2.1%
  • Mermaid 1%
  • Go 0.8%
Find a file
Exact
Frederic G. MARAND b627b09115 Updated tlapdf for A4 rendering. Cleanup go.mod.
2025-03-03 15:00:34 +01:00
.idea Learn TLA+ Topics: FSMs. 2025-02-25 17:03:44 +00:00
bin Updated tlapdf for A4 rendering. Cleanup go.mod. 2025-03-03 15:00:34 +01:00
intro/specs Intro: examples. 2025-02-22 19:20:33 +01:00
lamport_pluscal Updated tlapdf for A4 rendering. 2025-03-03 10:47:01 +01:00
lamport_video Lamport 10.2: refinement mappings, auxiliary variables. 2025-02-21 18:20:43 +01:00
learn_tla Lamport PlusCal: 2.1-2.5 Euclid's algorithm. 2025-02-27 16:24:42 +01:00
reference Lamport PlusCal: 2.1-2.5 Euclid's algorithm. 2025-02-27 16:24:42 +01:00
.gitignore Updated tlapdf for A4 rendering. 2025-03-03 10:47:01 +01:00
bcp.md Lamport 10.1: AB2 protocol - implementation with refinement. 2025-02-20 18:37:34 +01:00
cfg.md Learn TLA+ Topics: CLI. 2025-02-14 18:02:07 +01:00
cheatsheet.md Lamport PlusCal: 2.1-2.5 Euclid's algorithm. 2025-02-27 16:24:42 +01:00
glossary.md Updated tlapdf for A4 rendering. 2025-03-03 10:47:01 +01:00
notation.md Learn TLA+ Topics: general. Lamport 7: Paxos. 2025-02-12 18:19:37 +01:00
pluscal_mm.mermaid Intro: examples. 2025-02-22 19:20:33 +01:00