/coq-equivalence-not-congruence

Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations

Primary LanguageCoqOtherNOASSERTION

No issues in this repository yet.