/coqrel

Binary logical relations library for the Coq proof assistant

Primary LanguageCoqOtherNOASSERTION

This repository is not active