Risto-Stevcev/idris-heyting-algebra

Interfaces for heyting algebras and verified bounded join and meet semilattices

IdrisMIT