cdepillabout / coq-equivalence-not-congruence Goto Github PK
View Code? Open in Web Editor NEWCoq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations
Home Page: https://cs.stackexchange.com/a/98873/130503
License: Other