Ecosyste.ms: Packages

An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.

bower.io : idris-heyting-algebra

Interfaces for heyting algebras and verified bounded join and meet semilattices

Source - JSON
purl: pkg:bower/idris-heyting-algebra
Keywords: idris, heyting, algebra, algebras, verified, bounded, lattice, lattices, heyting-algebras, join, meet, semilattice, semilattices
License: MIT
Latest release: almost 7 years ago
First release: almost 7 years ago
Stars: 5 on GitHub
Forks: 0 on GitHub
See more repository details: repos.ecosyste.ms
Last synced: 26 days ago

Loading...

Readme

Loading...