Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

https://github.com/hengxin/tlaplus-at-nju-disalg

Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
https://github.com/hengxin/tlaplus-at-nju-disalg

lamport-specifying-systems model-checking theorem-proving tla-hyperbook tlaplus tlaplus-video-course tlaps tlc

Last synced: about 1 month ago
JSON representation

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

Awesome Lists containing this project