13 ms·
TLAplus: https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B https://github.com/tlaplus https://github.com/tlaplus A learnxinyminutes fo
by westurner 2y ago
TLAplus: https://en.wikipedia.org/wiki/TLA%2B https://en.wikipedia.org/wiki/TLA%2B
https://github.com/tlaplus https://github.com/tlaplus
A learnxinyminutes for TLA+ might be helpful: https://learnxinyminutes.com/ https://learnxinyminutes.com/
awesome-tlaplus > Books, (University) courses teaching (with) TLA+: https://github.com/tlaplus/awesome-tlaplus#books https://github.com/tlaplus/awesome-tlaplus#books