Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
| Documentation | Latest Release | Build Status of CategoricalTowers | 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 |