/sbv

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

Primary LanguageHaskellOtherNOASSERTION

Stargazers

No one’s star this repository yet.