Popularity
9.0
Declining
Activity
0.0
Stable
48
22
7

Monthly Downloads: 109
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.
Alternatively, view hermit alternatives based on common mentions on social networks and blogs.

Do you think we are missing an alternative of hermit or a related project?

Add another 'Formal Methods' Package

README

HERMIT Hackage version Build Status

The Haskell Equational Reasoning Model-to-Implementation Tunnel.

Links