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