@hackage verifiable-expressions0.6.2

An intermediate language for Hoare logic style verification.

Categories
- Language
License
Apache-2.0
Maintainer
madgenhetic@gmail.com
Links
Versions
- 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

A typed intermediate language for Hoare logic style verification. It defines the intermediate language and combinators to interact it.

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