Popular repositories Loading

1. presentations presentations Public

   Presentations on Liquid Haskell, type theory, and more

   Haskell 45 1

2. theorem-proving-template theorem-proving-template Public

   Template repo for theorem proving in Liquid Haskell

   Haskell 32 1

3. EquationalReasoningInLiquidHaskell EquationalReasoningInLiquidHaskell Public

   Derivation of Optimized Definitions Based on Specs

   JavaScript 15 2

4. thesis thesis Public

   Liquid Haskell: How to turn Haskell into a Theorem Prover

   TeX 13 1

5. proof-combinators proof-combinators Public

   Proof combinators used in Liquid Haskell for theorem proving

   Haskell 12 3

6. verified_string_matching verified_string_matching Public

   Verified Parallelized Version of String Mathcing

   Haskell 6