Proof combinators used in Liquid Haskell for theorem proving
Primary LanguageHaskellMIT LicenseMIT
No issues in this repository yet.