/ct4s

Exercises for Category Theory For Scientists (18.S996, Spring 2013, http://math.mit.edu/~dspivak/teaching/sp13/)

Primary LanguageCoq

No issues in this repository yet.