Please see: http://leventerkok.github.io/sbv/
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Please see: http://leventerkok.github.io/sbv/
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
http://leventerkok.github.com/sbv/
Other