/learning-temporal-logic

Here be exercises from «Specifying Systems», «Practical TLA+», and attemts at my own algorithm ideas.

Primary LanguageTLA

This repository is not active