GitHub repository: vzaliva/coq-ext-lib
Primary language: Coq
Description: A library of Coq definitions, theorems, and tactics.