@hackage zeno0.2.0.1

An automated proof system for Haskell programs

Categories
License
MIT
Maintainer
William Sonnex <will@sonnex.name>
Links
- Documentation
- No source repository
- Security
Versions
- 0.2.0.1 Thu, 28 Apr 2011
- 0.2.0.0 Thu, 28 Apr 2011

Installation
In your cabal file:
Dependencies (0)
- array
- base >=4 && <5
- containers
- directory
- mtl >=2
- parallel >=3
Dependents (1)
@hackage/acme-everything

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.

@hackage zeno0.2.0.1

Categories

License

Maintainer

Links

Versions

Installation

Dependencies (0)

Dependents (1)