Icelandjack/sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
HaskellNOASSERTION
Stargazers
No one’s star this repository yet.
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
HaskellNOASSERTION
No one’s star this repository yet.