proof-refinement

There are 1 repository under proof-refinement topic.

• TOTBWF / refinery

  ⛏️ A refinement proof framework for haskell

  metaprogrammingproof-automationproof-refinement
  Language:Haskell 68

• RedPRL / sml-dependent-lcf

  A library for the next generation of LCF refiners, with support for dependent refinement—Long Live the Anti-Realist Struggle!

  proof-refinementlcftacticsrefiner
  Language:Standard ML 16

• robrix / surface

  Dependently-typed language w/ little to say for itself

  typecheckerhaskelldependent-typesproof-refinement
  Language:Haskell 10