/tla-examples

Examples of TLA proofs

Primary LanguageIsabelle

Watchers