afldcr / sbv Goto Github PK
View Code? Open in Web Editor NEWThis project forked from yav/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Home Page: http://leventerkok.github.com/sbv/
License: Other