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