GitHub - homalg-project/ZariskiFrames: (Co)frames/Locales of Zariski closed/open subsets of affine, projective, or toric varieties

ZariskiFrames

Documentation	Latest Release	Build Status	Code Coverage

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.	CategoryConstructor	https://github.com/homalg-project/CategoryConstructor.git
5.	Locales	https://github.com/homalg-project/Locales.git