@hackage / proof-combinators

DEPRECATED

Version Deprecated package0.1.0.0

About

Metadata

  • Last updated , by FacundoDominguez
  • License MIT
  • Maintained by: nikivazou@gmail.com

  • Lottery factor: 0

Links

Installation

This package has been deprecated in favour of

Readme

Provides proof Combinators used in Liquid Haskell for Theorem Proving