Package Usage: hackage: sbvPlugin

GHC plugin for proving properties over Haskell functions using SMT solvers, based on the SBV package. See Data.SBV.Plugin for a quick example, or the modules under Data.SBV.Plugin.Examples for more details.
16 versions
Latest release: about 1 year ago
5,927 downloads total

View more package details: https://packages.ecosyste.ms/registries/hackage.haskell.org/packages/sbvPlugin

View more repository details: https://repos.ecosyste.ms/hosts/GitHub/repositories/LeventErkok%2FsbvPlugin

Dependent Repos 1

LeventErkok/sbvPlugin

Formally prove properties of Haskell programs using SBV/SMT.

• * sbvPlugin.cabal

Size: 542 KB - Last synced: 20 days ago - Pushed: about 2 months ago