hackage.haskell.org : proof-combinators
Provides proof Combinators used in Liquid Haskell for Theorem Proving
Registry
- Homepage
- JSON
purl: pkg:hackage/proof-combinators
Keywords:
deprecated
, library
, mit
, theorem-proving
, Propose Tags
License: MIT
Latest release: over 7 years ago
First release: over 7 years ago
Downloads: 762 total
Last synced: about 1 month ago
Loading...
Readme
Loading...