Experiments with the SBV library in Haskell.
http://leventerkok.github.io/sbv/
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
Experiments with the SBV library in Haskell.
http://leventerkok.github.io/sbv/
SMT Based Verification in Haskell. Express properties about Haskell programs and automatically prove them using SMT solvers.
BSD 3-Clause "New" or "Revised" License