proof-combinators

Proof combinators used in Liquid Haskell for theorem proving

MIT License

Stars

Ecosystems: Haskell

Proof combinators used in Liquid Haskell for theorem proving

Build Status A Haskell implementation of the ZKBoo protocol for non-interactive zero-knowledge a...

Strategy combinators for compositional data types

Verified Parallelized Version of String Mathcing

classical sequent calculus, embedded in Haskell

Modal Tableau with Interpolation in Haskell

Readings on computational logic, interactive theorem proving and functional programming.

Examples using dependent types for mathematical proofs at the type level

An automatic first-order theorem prover in Haskell

Template repo for theorem proving in Liquid Haskell

checkers for algebra driven design

Lambda the ultimate Pattern Factory: FP, Haskell, Typeclassopedia vs Software Design Patterns

Presentations on Liquid Haskell, type theory, and more