cdepillabout/coq-equivalence-not-congruence
Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations
CoqNOASSERTION
No issues in this repository yet.
Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations
CoqNOASSERTION
No issues in this repository yet.