SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Here you can share your experience with the project you are suggesting or its comparison with sbv. Optional.
A valid email to send you a verification link when necessary or log in.