The ZIP files CategoryTheory-install-3.0.zip and CategoryTheor-install-3.0.zip available in the Sourceforge Files area both seem to be broken. CategoryTheory-src-3.0.zip seems to work, though.
Log in to post a comment.
