lthms / coq-ext-lib Goto Github PK
View Code? Open in Web Editor NEWThis project forked from coq-community/coq-ext-lib
A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]
Home Page: https://coq-community.github.io/coq-ext-lib/
License: Other