@hackage / qed

Simple prover

Latest0.0

About

Metadata

  • Last updated , by NeilMitchell
  • License BSD-3-Clause

  • Maintained by: Neil Mitchell <ndmitchell@gmail.com>

  • Lottery factor: 0

Links

Installation

Readme

QED Prover Hackage version Build Status

Experiments writing a proof system, particularly designed to prove properties about Haskell code, such as the HLint rewrite rules.

Tom Ellis described the approach as "coinduction on the execution".