cdepillabout/coq-equivalence-not-congruence
Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations
CoqNOASSERTION
Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations
CoqNOASSERTION