hackage.haskell.org "sbv" keyword
sbvPlugin 9.14.1
GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV pack...21 versions - Latest release: about 2 months ago - 1 dependent repositories - 6.97 thousand downloads total - 45 stars on GitHub - 1 maintainer