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