Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists tagged with heyting

A curated list of projects in awesome lists tagged with heyting .

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: 09 Nov 2024