The zeno package
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.
Properties
| Versions | 0.2.0.0, 0.2.0.1 |
|---|---|
| Dependencies | array, base (4.*), containers, directory, ghc, ghc-paths, mtl (≥2), parallel (≥3), process, random, text, transformers (≥0.2) |
| License | MIT |
| Author | William Sonnex |
| Maintainer | William Sonnex <will@sonnex.name> |
| Stability | Experimental |
| Category | Theorem Provers |
| Executables | zeno |
| Upload date | Thu Apr 28 19:40:27 UTC 2011 |
| Uploaded by | WilliamSonnex |
Downloads
- zeno-0.2.0.1.tar.gz (Cabal source package)
- package description (included in the package)