points by westurner 2 years ago

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