heyting-algebras (hackage): This package provides Heyting and Boolean operations together with various constructions of Heyting algebras.
Keywords: bsd3|library|math