Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

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