Projects in Awesome Lists tagged with heyting-algebras
A curated list of projects in awesome lists tagged with heyting-algebras .
https://github.com/risto-stevcev/idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
algebra algebras bounded heyting heyting-algebras idris join lattice lattices meet semilattice semilattices
Last synced: 22 Feb 2025
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: 11 Mar 2025
