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