The zeno package

[Tags:mit, program]

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) [details]
License MIT
Author William Sonnex
Maintainer William Sonnex <will@sonnex.name>
Stability Experimental
Category Theorem Provers
Uploaded Thu Apr 28 19:40:27 UTC 2011 by WilliamSonnex
Distributions NixOS:0.2.0.1
Downloads 532 total (5 in the last 30 days)
Votes
0 []
Status Docs not available [build log]
All reported builds failed as of 2015-11-14 [all 5 reports]

Downloads

Maintainer's Corner

For package maintainers and hackage trustees