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

Versions0.2.0.0, 0.2.0.1
Dependenciesarray, base (==4.*), containers, directory, ghc, ghc-paths, mtl (>=2), parallel (>=3), process, random, text, transformers (>=0.2)
LicenseMIT
AuthorWilliam Sonnex
MaintainerWilliam Sonnex <will@sonnex.name>
StabilityExperimental
CategoryTheorem Provers
Executableszeno
Upload dateThu Apr 28 19:40:27 UTC 2011
Uploaded byWilliamSonnex
Downloads182 total (8 in last 30 days)

Downloads

Maintainers' corner

For package maintainers and hackage trustees