verified-haskell-tests. Playing around with different options for verifying bits of Haskell code

github.com/rrnewton/verified-haskell-tests

Vaya's read on this project

Problem, audience, market, and the verdict — sign in to see it.

Updates

No recent activity.