hackage.haskell.org "curry-howard-isomorphism" keyword
View the packages on the hackage.haskell.org package registry that are tagged with the "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: over 5 years ago - 408 downloads total - 37 stars on GitHub - 1 maintainer
Related Keywords