View Code? Open in Web Editor
NEW
This project forked from tlaplus/drtlaplus
Dr. TLA+ series - learn an algorithm and protocol, study a specification
drtlaplus's Introduction
Dr. TLA+ Series - learn an algorithm and protocol, study a specification
Each session will focus on a single algorithm/protocol and:
- dive deep into how the algorithm and protocol works;
- illustrate in detail how the TLA+ specification is written;
- share the learnings from writing and studying the specification.
drtlaplus's People