andres-erbsen / 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.org/coq-ext-lib/
License: BSD 2-Clause "Simplified" License