@hackage verifiable-expressions0.4.0

An intermediate language for Hoare logic style verification.

Categories
License
Apache-2.0
Maintainer
bch29@cam.ac.uk
Links
- Documentation
- No source repository
- Security
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.6
- lens >=4.16.1 && <5
- mtl >=2.0 && <3
- sbv >=7.0 && <8
- transformers >=0.5 && <0.6
Dependents (1)
@hackage/camfort

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