Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with equivalence-relation
A curated list of projects in awesome lists tagged with equivalence-relation .
https://github.com/cdepillabout/coq-equivalence-not-congruence
Coq proof of an equivalence relation that is not congruent on the Imp language from Software Foundations
congruence coq equivalence-relation proof
Last synced: 27 Sep 2024