Skip to content
GitLab
Explore
Sign in
sTeX
CategoryTheory
Repository
Branches
Overview
Active
Stale
All
Stale branches
main
default
protected
d7d6dde4
·
fixing the dependencies in MANIFEST.MF: computing with smglom/meta-inf/bin/dependencies.py
·
Apr 24, 2023
devel
4d8f1395
·
Added several new files on 2-categories
·
Sep 28, 2023