@hackage zeno0.2.0.0

An automated proof system for Haskell programs

  • Categories

    • License

      MIT

    • Maintainer

      William Sonnex <will@sonnex.name>

    • Links

    • Versions

    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.