heyting-algebras

Star

Here are 3 public repositories matching this topic...

Risto-Stevcev / idris-heyting-algebra

Sponsor

Star

Interfaces for heyting algebras and verified bounded join and meet semilattices

algebra semilattices idris join lattice algebras meet lattices heyting-algebras heyting semilattice bounded

Updated Nov 17, 2019
Idris

homalg-project / Locales

Star

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

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

Updated Apr 24, 2026
GAP

Abraxas1010 / homotopy-tower-stabilization

Star

Formally verified nucleus tower stabilization on frames with infinity-groupoid bridge. 23 theorems, 9 modules, ~977 lines of Lean 4. Zero sorry. Proposed by Adam Morgan (@2ndAlphasapien).

category-theory homotopy-theory formal-verification heyting-algebras lean4 nucleus-operators infinity-groupoids kan-complexes

Updated Mar 18, 2026
Lean

Improve this page

Add a description, image, and links to the heyting-algebras topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the heyting-algebras topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly

heyting-algebras

Here are 3 public repositories matching this topic...

Risto-Stevcev / idris-heyting-algebra

homalg-project / Locales

Abraxas1010 / homotopy-tower-stabilization

Improve this page

Add this topic to your repo