@hackage proof-combinators0.1.0.0

Proof Combinators used in Liquid Haskell for Theorem Proving

Categories
License
MIT
Maintainer
nikivazou@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Changelog
Versions
- 0.1.0.0 Wed, 28 Mar 2018

Installation
In your cabal file:
Dependencies (0)
Dependents (1)
@hackage/acme-everything

proof-combinators

Proof combinators used in Liquid Haskell for theorem proving