/jormungand

Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".

Primary LanguageIsabelleOtherNOASSERTION

No issues in this repository yet.