Explore projects
-
The project has been moved here: https://github.com/coq-community/lemma-overloading I'm keeping it here because it contains an alternative implementation of indom lemma
Updated -
Updated
-
-
-
-
Updated
-
Updated
The project has been moved here: https://github.com/coq-community/lemma-overloading I'm keeping it here because it contains an alternative implementation of indom lemma