zeno: An automated proof system for Haskell programs
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
- zeno-0.2.0.1.tar.gz [browse] (Cabal source package)
- Package description (as included in the package)
Maintainer's Corner
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, 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-28T19:40:27Z |
Distributions | |
Reverse Dependencies | 1 direct, 0 indirect [details] |
Executables | zeno |
Downloads | 1858 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 12 reports] |