Data

Tools

Indexes

Applications

Experiments

Packages

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

hackage.haskell.org "proof-assistant" keyword

type-natural 1.3.0.2 💰
Type-level well-kinded natural numbers.
49 versions - Latest release: about 1 year ago - 2 dependent packages - 14 dependent repositories - 29.6 thousand downloads total - 34 stars on GitHub - 1 maintainer
hout 0.1.0.0
Hout is an in-Haskell non-interactive proof assistant for intuitionistic first-order logic, using...
1 version - Latest release: almost 6 years ago - 431 downloads total - 38 stars on GitHub - 1 maintainer
rzk 0.7.7
Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme
30 versions - Latest release: 4 months ago - 2 dependent packages - 1 dependent repositories - 1.73 thousand downloads total - 249 stars on GitHub - 1 maintainer
Related Keywords
bsd3 3 library 3 Propose Tags 3 dependent-types 2 haskell 2 math 1 ghc 1 type-level 1 type-level-programming 1 logic 1 type-system 1 curry-howard-isomorphism 1 monad 1 program 1 category-theory 1 homotopy-type-theory 1