/coq-ext-lib

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

Primary LanguageCoqOtherNOASSERTION

Stargazers

No one’s star this repository yet.