@hackage / mprover

Simple equational reasoning for a Haskell-ish language