mprover (hackage): 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!
Keywords: bsd3|program|theorem-provers