SEL4PROJ/jormungand
Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".
IsabelleNOASSERTION
No issues in this repository yet.
Isabelle/HOL theories for the paper "Backwards and Forwards with Separation Logic".
IsabelleNOASSERTION
No issues in this repository yet.