https://github.com/homalg-project/locales

[READ-ONLY-SUBSPLIT] Locales, frames, coframes, meet semi-lattices of locally closed subsets, and Boolean algebras of constructible sets

boolean-algebras coframes coheyting-algebras constructible-sets frames heyting-algebras lattices locales

Last synced: 16 Feb 2026