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

github.com/nikivazou/proof-combinators

Problem

Audience

Updates

No founder updates yet. Check back soon.