@hackage / zeno

An automated proof system for Haskell programs

Latest0.2.0.1

About

Metadata

  • Last updated , by WilliamSonnex
  • License MIT

  • Maintained by: William Sonnex <will@sonnex.name>

  • Lottery factor: 0

Links

Installation

Readme

Zeno is an automated proof system for Haskell program properties; developed at Imperial College London by William Sonnex, Sophia Drossopoulou and Susan Eisenbach. It aims to solve the general problem of equality between two Haskell terms, for any input value.