hengxin/tlaplus-hfwei

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).

语言：TeX · GitHub 星标：13 · Fork：7

话题：lamport-specifying-systems · model-checking · theorem-proving · tla-hyperbook · tlaplus · tlaplus-video-course · tlaps · tlc

在 GitHub 上查看原仓库