GitHub repository: rocq-community/coq-ext-lib
Primary language: Coq
Description: A library of Coq definitions, theorems, and tactics. [maintainers=@gmalecha,@liyishuai]