nikivazou

Pinned Repositories

• EquationalReasoningInLiquidHaskell

  Derivation of Optimized Definitions Based on Specs

  Language:JavaScript15752

• fopss2023

  Language:Haskell3200

• haskell-course

  Language:Haskell3300

• liquid-meta

  Language:Haskell50

• liquidhaskell-course

  Course on Liquid Haskell

  Language:JavaScript4200

• presentations

  Presentations on Liquid Haskell, type theory, and more

  Language:Haskell45501

• proof-combinators

  Proof combinators used in Liquid Haskell for theorem proving

  Language:Haskell12303

• theorem-proving-template

  Template repo for theorem proving in Liquid Haskell

  Language:Haskell32401

• thesis

  Liquid Haskell: How to turn Haskell into a Theorem Prover

  Language:TeX131

• verified_string_matching

  Verified Parallelized Version of String Mathcing

  Language:Haskell60

nikivazou's Repositories