/Charge

Higher-order separation logic framework in Coq

Primary LanguageCoqOtherNOASSERTION

Watchers