Selected Tags
Click on a tag to remove itMore Tags
Click on a tag to add it and filter downTheorem Provers packages
Showing projects tagged as Formal Methods, Math, and Theorem Provers
-
sbv
9.6 9.2 HaskellSMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.