Examples for TLAPS (TLA+ Proof System)
☆16May 9, 2020Updated 5 years ago
Alternatives and similar repositories for tlaps-examples
Users that are interested in tlaps-examples are comparing it to the libraries listed below
Sorting:
- Learning [Lamport's TLA+](http://research.microsoft.com/en-us/um/people/lamport/tla/tla.html).☆13Feb 16, 2022Updated 4 years ago
- Reading the linearizability paper with TLA+☆51Apr 24, 2022Updated 3 years ago
- CHR2 to SQL conversion☆15Aug 27, 2015Updated 10 years ago
- ☆17Oct 2, 2017Updated 8 years ago