Ecosyste.ms: 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
rzk 0.7.4
Please see the README on GitHub at https://github.com/rzk-lang/rzk#readme27 versions - Latest release: about 1 month ago - 2 dependent packages - 1 dependent repositories - 588 downloads total - 185 stars on GitHub - 1 maintainer
type-natural 1.3.0.1 💰
Type-level well-kinded natural numbers.48 versions - Latest release: 5 months ago - 2 dependent packages - 14 dependent repositories - 27.8 thousand downloads total - 33 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: about 4 years ago - 325 downloads total - 34 stars on GitHub - 1 maintainer