# 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.

- No changelog available

## 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 | 182 total (8 in last 30 days) |

## Downloads

- zeno-0.2.0.1.tar.gz [browse] (Cabal source package)
- Package description (included in the package)

#### Maintainers' corner

For package maintainers and hackage trustees