/tla-examples

Examples of TLA proofs

Primary LanguageIsabelle

No issues in this repository yet.