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-refinement" keyword

View the packages on the hackage.haskell.org package registry that are tagged with the "proof-refinement" keyword.

refinery 0.4.0.0
Please see the README on GitHub at https://github.com/githubuser/refinery#readme
4 versions - Latest release: almost 5 years ago - 2 dependent packages - 2 dependent repositories - 7.03 thousand downloads total - 70 stars on GitHub - 1 maintainer
Related Keywords
bsd3 1 language 1 library 1 Propose Tags 1 metaprogramming 1 proof-automation 1