/model-checking

Lean-formalizations of material from "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen

Primary LanguageLean

No issues in this repository yet.