/isariris

An experimental port of the Iris separation logic framework to Isabelle/HOL. This work is developed as part of a Master's thesis.

Primary LanguageIsabelleOtherNOASSERTION

No issues in this repository yet.