proof-combinators (hackage):   [Index]  Package maintainers  For package maintainers and hackage trustees  Candidates    Proof combinators used in Liquid Haskell for theorem proving
Keywords: library|mit|theorem-proving