@hackage mprover0.0.0.0

Simple equational reasoning for a Haskell-ish language

  • Categories

    • License

      BSD-3-Clause

    • Maintainer

      Adam Procter <amp269@mail.missouri.edu>

    • Links

    • Versions

    MProver is a proof checker for equational reasoning in a Haskell-like language. This is an extremely preliminary release, so don't expect it to be terribly useful just yet!