@hackage verifiable-expressions0.4.0

An intermediate language for Hoare logic style verification.

Categories
- Language
License
Apache-2.0
Maintainer
bch29@cam.ac.uk
Links
- Homepage
- Documentation
- No source repository
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 (0)
Dependents (1)
@hackage/camfort