idris-heyting-algebra (bower): Interfaces for heyting algebras and verified bounded join and meet semilattices
Keywords: idris|heyting|algebra|algebras|verified|bounded|lattice|lattices|heyting-algebras|join|meet|semilattice|semilattices