nikivazou / proof-combinatorsLinks

Proof combinators used in Liquid Haskell for theorem proving
12Updated 7 years ago

Alternatives and similar repositories for proof-combinators

Users that are interested in proof-combinators are comparing it to the libraries listed below

Sorting: