HERMIT

The Haskell Equational Reasoning Model-to-Implementation Tunnel.

Links

• http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT