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
Interfaces for heyting algebras and verified bounded join and meet semilattices
Add a description, image, and links to the heyting topic page so that developers can more easily learn about it.
To associate your repository with the heyting topic, visit your repo's landing page and select "manage topics."