Exercises from the 2023-2024 Model Checking course at Cambridge.
Primary LanguageOCaml
opam exec -- dune exec temporal