Reflective verification procedures for separation logic programs in Coq
Primary LanguageCoqOtherNOASSERTION