Theorem Provers packages
Showing projects tagged as Bit Vectors and Theorem Provers
-
sbv
9.6 9.3 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Showing projects tagged as Bit Vectors and Theorem Provers