2jacobtan/haskell-sbv-experiment

haskell-sbv-experiment

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.

View the Project on GitHub LeventErkok/sbv

https://hackage.haskell.org/package/sbv