SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Why do you think that https://github.com/acfoltzer/bit-vector is a good alternative to sbv
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Why do you think that https://github.com/acfoltzer/bit-vector is a good alternative to sbv