Ecosyste.ms: Packages
An open API service providing package, version and dependency metadata of many open source software ecosystems and registries.
hackage.haskell.org "curry-howard-isomorphism" keyword
hout 0.1.0.0
Hout is an in-Haskell non-interactive proof assistant for intuitionistic first-order logic, using...1 version - Latest release: about 4 years ago - 325 downloads total - 34 stars on GitHub - 1 maintainer
Related Keywords