FinSetsForCAP 

The (skeletal) elementary topos of finite sets

Documentation	Latest Release	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