pi8027 / lemma-overloading Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/lemma-overloading
Libraries demonstrating design patterns for programming and proving with canonical structures in Coq [maintainer=@anton-trunov]
Home Page: https://coq-community.org/lemma-overloading/
License: Other