The latest version of verifiable-expressions is 0.6.2-1.

verifiable-expressions

Version 0.6.1 revision 0 uploaded by raehik.

Package meta

Synopsis
An intermediate language for Hoare logic style verification.
Description

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

Author
Bradley Hardy
Bug reports
https://github.com/camfort/verifiable-expressions/issues
Category
Language
Copyright
n/a
Homepage
https://github.com/camfort/verifiable-expressions#readme
Maintainer
madgenhetic@gmail.com
Package URL
n/a
Stability
n/a

Components