@hackage / verifiable-expressions

An intermediate language for Hoare logic style verification.

Latest0.6.3

Dependencies

library:verifiable-expressions (8 dependencies)

@hackage / lens Lenses, Folds and Traversals
- Version: >=4.16.1 && <5.5
- License: BSD-2-Clause
@hackage / base Core data structures and operations
- Version: >=4.9 && <5
- License: BSD-3-Clause
@hackage / mtl Monad classes for transformers, using functional dependencies
- Version: >=2.0 && <3
- License: BSD-3-Clause
@hackage / transformers Concrete functor and monad transformers
- Version: >=0.5 && <0.7
- License: BSD-3-Clause
@hackage / containers Assorted concrete container types
- Version: >=0.5.7 && <0.7
- License: BSD-3-Clause
@hackage / union Extensible type-safe unions
- Version: >=0.1.2 && <0.2
- License: BSD-3-Clause
@hackage / sbv SMT Based Verification: Symbolic Haskell theorem prover using SMT solving.
- Version: >=8.0 && <10
- License: BSD-3-Clause
@hackage / vinyl Extensible Records
- Version: >=0.14.3 && <0.15
- License: MIT