verifiable-expressions-0.4.0: An intermediate language for Hoare logic style verification.

Index - *

*&&Language.Expression.Prop, Language.Verification.Conditions
*->Language.Expression.Prop, Language.Verification.Conditions
*<->Language.Expression.Prop, Language.Verification.Conditions
*||Language.Expression.Prop, Language.Verification.Conditions