zeno: An automated proof system for Haskell programs

[ mit, program, theorem-provers ] [ Propose Tags ]

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.

Downloads

Maintainer's Corner

Package maintainers

For package maintainers and hackage trustees

Candidates

  • No Candidates
Versions [RSS] 0.2.0.0, 0.2.0.1
Dependencies array, base (>=4 && <5), containers (>=0.4), directory, ghc, ghc-paths, mtl (>=2), parallel (>=3), process, random, text, transformers (>=0.2) [details]
License MIT
Author William Sonnex
Maintainer William Sonnex <will@sonnex.name>
Category Theorem Provers
Uploaded by WilliamSonnex at 2011-04-28T18:52:04Z
Distributions NixOS:0.2.0.1
Reverse Dependencies 1 direct, 0 indirect [details]
Executables zeno
Downloads 1739 total (6 in the last 30 days)
Rating (no votes yet) [estimated by Bayesian average]
Your Rating
  • λ
  • λ
  • λ
Status Docs not available [build log]
All reported builds failed as of 2016-12-28 [all 8 reports]