Miscellaneous formalisations
Primary LanguageCoq
Formalisation of Category Theory in Coq following the minimalist philosophy.