equivalence-relation
There are 1 repositories under equivalence-relation topic.
cdepillabout/coq-equivalence-not-congruence
Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations
There are 1 repositories under equivalence-relation topic.
Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations