homalg-project / locales Goto Github PK
View Code? Open in Web Editor NEW[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets
Home Page: https://homalg-project.github.io/pkg/Locales/
License: GNU General Public License v2.0