Monthly Downloads: 185
Programming language: Haskell
License: BSD 3-clause "New" or "Revised" License
Latest version: v1.0.1
hermit alternatives and similar packages
Based on the "Formal Methods" category
Do you think we are missing an alternative of hermit or a related project?
The Haskell Equational Reasoning Model-to-Implementation Tunnel.