@hackage / verifiable-expressions

An intermediate language for Hoare logic style verification.