@hackage sbvPlugin9.12.1

Formally prove properties of Haskell programs using SBV/SMT

Categories
- Mathematics
License
BSD-3-Clause
Maintainer
Levent Erkok (erkokl@gmail.com)
Links
Versions
- 9.12.1 Thu, 13 Mar 2025
- 9.10.1 Wed, 22 May 2024
- 9.8.2 Sat, 23 Mar 2024
- 9.8.1 Sat, 6 Jan 2024
- 9.6.1 Fri, 14 Apr 2023
- 9.4.4 Mon, 16 Jan 2023

Installation
In your cabal file:
Tested Compilers
- 9.12.1
Dependencies (7)
- base >=4.19 && <5
- containers
- ghc-prim
- mtl
- template-haskell
- ghc >=9.12.1
Dependents (1)
@hackage/acme-everything

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.