← All repos

tlaplus/DrTLAPlus

View on GitHub ↗ ★ 860 TLA

Dr. TLA+ series - learn an algorithm and protocol, study a specification

3 mentions on Hacker News by 2 people: 0 stories, 3 comments · first 2016-12-14 · latest 2022-02-03