@hackage / verifiable-expressions

An intermediate language for Hoare logic style verification.

Latest0.6.3

About

Metadata

  • Last updated , by mdanish
  • License Apache-2.0
  • Maintained by: madgenhetic@gmail.com

  • Lottery factor: 4

Links

Installation

Readme

Verifiable Expressions

Intermediate language for Hoare Logic style verification and useful combinators.

Please see Language.Expression.Example for how to use this library.