Loading Rewriting on any binary equivalence relation
4 kyu
Loading Rewriting on any binary equivalence relation
4 kyu
Rewriting on any binary equivalence relation
37solitude
-
Language
- Coq
-
Language Version
Loading description...
Theorem Proving
Fundamentals