mathink/Cat_on_Coq

Cat_on_Coq - Setoid-based Category Theory in Coq 8.5.