@hackage verifiable-expressions0.6.3

An intermediate language for Hoare logic style verification.

Categories
License
Apache-2.0
Maintainer
madgenhetic@gmail.com
Links
Versions
- 0.6.3 Mon, 29 Sep 2025
- 0.6.2 Wed, 12 Oct 2022
- 0.6.1 Wed, 3 Mar 2021
- 0.6.0 Sat, 17 Aug 2019
- 0.5.0 Mon, 17 Jun 2019
- 0.4.0 Fri, 18 May 2018

Installation
In your cabal file:
Dependencies (8)
- base >=4.9 && <5
- containers >=0.5.7 && <0.7
- lens >=4.16.1 && <5.5
- mtl >=2.0 && <3
- sbv >=10.0 && <11
- transformers >=0.5 && <0.7
Dependents (1)
@hackage/camfort

Verifiable Expressions

Intermediate language for Hoare Logic style verification and useful combinators.

Please see Language.Expression.Example for how to use this library.