ewd998 icon indicating copy to clipboard operation
ewd998 copied to clipboard

Published 20 hours ago • verified publisher icon tlaplus-workshops

TLA+ cheat sheet

Open lemmy opened this issue 1 year ago • 0 comments

Incremental cheat sheet showing the ASCII syntax.

Prior Work:

  • https://github.com/tlaplus-workshops/ewd998/blob/main/docs/TLA+CheatSheet.pdf
  • Standard Modules chapter in Specifying Systems
  • https://github.com/tlaplus/PlusCalCheatSheet/blob/main/pluscal.pdf
  • https://github.com/OCamlPro/cheat-sheets/blob/master/tla-cheat-sheet/tla-cheat-sheet-v1.pdf
  • https://mbt.informal.systems/docs/tla_basics_tutorials/tla+cheatsheet.html

lemmy avatar Oct 12 '22 21:10 lemmy