LeventErkok / sbv

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

Home Page:https://github.com/LeventErkok/sbv

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

LeventErkok/sbv Stargazers