marcusrossel/model-checking
Lean-formalizations of material from "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen
Lean
No issues in this repository yet.
Lean-formalizations of material from "Principles of Model Checking" by Christel Baier and Joost-Pieter Katoen
Lean
No issues in this repository yet.