GitHub repository: ku-fpg/hermit
Primary language: Haskell
Description: Haskell Equational Reasoning Model-to-Implementation Tunnel