idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
-
- GitHub
- GitLab
- Bitbucket
-
By logging in you accept
our terms of service
and privacy policy
Interfaces for heyting algebras and verified bounded join and meet semilattices
bower install idris-heyting-algebra
Interfaces for heyting algebras and verified bounded join and meet semilattices
The Tidelift Subscription provides access to a continuously curated stream of human-researched and maintainer-verified data on open source packages and their licenses, releases, vulnerabilities, and development practices.
Learn more →
Login to resync this project
