mprover

Simple equational reasoning for a Haskell-ish language.

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!