@hackage proof-combinators0.1.0.0

DEPRECATED

Categories
License
MIT
Maintainer
nikivazou@gmail.com
Links
- Homepage
- Documentation
- No source repository
- Changelog
- Security
Versions
- 0.1.0.0 Sun, 1 Dec 2024

Deprecated
This package has been deprecated in favour of
- @hackage/liquid-prelude
Dependencies (1)
- base >=4.10 && <4.11
Dependents (1)
@hackage/acme-everything

proof-combinators

Proof combinators used in Liquid Haskell for theorem proving