TLAplus: https://en.wikipedia.org/wiki/TLA%2B https://github.com/tlaplus A learn... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

westurner 4 months ago | parent | context | favorite | on: Tlsd: Generate (message) sequence diagrams from TL...

TLAplus: https://en.wikipedia.org/wiki/TLA%2B

https://github.com/tlaplus

A learnxinyminutes for TLA+ might be helpful: https://learnxinyminutes.com/

awesome-tlaplus > Books, (University) courses teaching (with) TLA+: https://github.com/tlaplus/awesome-tlaplus#books

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact