# proof-combinators
Proof combinators used in Liquid Haskell for theorem proving