ku-fpg / hermit

Haskell Equational Reasoning Model-to-Implementation Tunnel
49Updated last year

Related projects

Alternatives and complementary repositories for hermit