Skip to content

homalg-project/FinGSetsForCAP

Repository files navigation

FinGSetsForCAP View code

The elementary topos of (skeletal) finite G-sets

Documentation Latest Release Build Status Code Coverage
HTML stable documentation PDF stable documentation version date Build Status Code Coverage

Dependencies

To obtain current versions of all dependencies, git clone (or git pull to update) the following repositories:

Repository git URL
1. homalg_project https://github.com/homalg-project/homalg_project.git
2. CAP_project https://github.com/homalg-project/CAP_project.git
3. Toposes https://github.com/homalg-project/Toposes.git
4. FinSetsForCAP https://github.com/homalg-project/FinSetsForCAP.git