@hackage verifiable-expressions0.6.3
An intermediate language for Hoare logic style verification.
Installation
Dependencies (8)
- base >=4.9 && <5
- containers >=0.5.7 && <0.7
- lens >=4.16.1 && <5.5
- mtl >=2.0 && <3
- sbv >=8.0 && <10
- transformers >=0.5 && <0.7 Show all…
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.