Intermediate language for Hoare Logic style verification and useful combinators.
Please see Language.Expression.Example for how to use this library.
camfort/verifiable-expressions
Folders and files
| Name | Name | Last commit date | ||
|---|---|---|---|---|
| Name | Name | Last commit date | ||
|---|---|---|---|---|
Intermediate language for Hoare Logic style verification and useful combinators.
Please see Language.Expression.Example for how to use this library.