damodharanj / sbv

SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.

http://leventerkok.github.com/sbv/

Geek Repo

Github PK Tool