HoareCore

Statistics

Metric	Count
Definitions `Assertion`, `hoare_triple_up`, `hoare_triple_up_1`, `weak`	4
Theorems	0
Total	4

Name	Category	Theorems
`Assertion` 📖	CompOp	—
`hoare_triple_up` 📖	MathDef	—
`hoare_triple_up_1` 📖	MathDef	28 math math: `specification_AddRegister`, `specification_JumpNeqZero_false`, `specification_Jump'`, `specification_AddImmediate`, `specification_JumpNeq_true`, `specification_LoadWordImmediate`, `specification_LoadWordReg`, `specification_XOR`, `specification_JumpLe_true`, `specification_LoadImmediate`, `specification_XorImmediate`, `specification_JumpEq_true`, `specification_Increment`, `specification_JumpGt_true`, `specification_JumpNeq_false`, `specification_StoreWordImmediate`, `specification_Decrement`, `specification_CopyRegister`, `specification_LoadAddress`, `specification_JumpEqZero_true`, `specification_JumpEqZero_false`, `specification_SubRegister`, `specification_JumpNeqZero_true`, `specification_JumpGt_false`, `specification_Jump`, `specification_JumpEq_false`, `specification_JumpLe_false`, `specification_SubImmediate`
`weak` 📖	MathDef	—

---