Interfaces for heyting algebras and verified bounded join and meet semilattices
risto-stevcev / idris-heyting-algebra Goto Github PK
View Code? Open in Web Editor NEWInterfaces for heyting algebras and verified bounded join and meet semilattices
License: MIT License