Interfaces for heyting algebras and verified bounded join and meet semilattices
Primary LanguageIdrisMIT LicenseMIT