Selected Tags

Click on a tag to remove it

Theorem Provers packages

Showing projects tagged as Bit Vectors and Theorem Provers

  • sbv

    9.5 9.2 Haskell
    SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
  • hz3

    9.0 3.1 Haskell
    Haskell bindings to Microsoft's Z3 API (unofficial).