# HERMIT [![Hackage version](https://img.shields.io/hackage/v/hermit.svg?style=flat)](http://hackage.haskell.org/package/hermit) [![Build Status](https://img.shields.io/travis/ku-fpg/hermit.svg?style=flat)](https://travis-ci.org/ku-fpg/hermit)

The Haskell Equational Reasoning Model-to-Implementation Tunnel.

## Links
* http://www.ittc.ku.edu/csdl/fpg/Tools/HERMIT