Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with tla-hyperbook
A curated list of projects in awesome lists tagged with tla-hyperbook .
https://github.com/hengxin/tlaplus-at-nju-disalg
Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).
lamport-specifying-systems model-checking theorem-proving tla-hyperbook tlaplus tlaplus-video-course tlaps tlc
Last synced: 10 Nov 2024
