/coq-ext-lib

A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]

Primary LanguageCoqOtherNOASSERTION

No issues in this repository yet.