GitHub repository: unsonnet/coq-category
Primary language: Coq
Created: 2023-10-03T21:13:45Z
Description: Exercise on formalizing Category Theory in Coq