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