/UniMath2017-CategoryTheory

Category theory group projects at UniMath workshop, Birmingham, Dec 2017

Primary LanguageCoq

Stargazers