GitHub repository: mathink/Cat_on_Coq
Primary language: HTML
Description: Setoid-based Category Theory in Coq 8.5.