SBV: SMT Based Verification in Haskell Please see: http://leventerkok.github.io/sbv/ Build Status Linux: GHC 8.6.5 GHC 8.6.4 Mac OSX: GHC 8.6.5 Windows: GHC 8.6.5