DelabHoare

📁 Source: MRiscX/Delab/DelabHoare.lean

Statistics

Metric	Count
Definitions AddMemUnexpander, AddRegUnexpander, IncPcUnexpander, annotateStateFns, extractStringFromTerm?, hasNestedLambdaBody, hoareTripleDelab, hoare_termToTerm, isOnlyStateIdent, mkAssertionAtN, stateFnsDelab, termToIdent?, termToMriscx_syntax?	13
Theorems	0
Total	13

(root)

Definitions

Name	Category	Theorems
AddMemUnexpander 📖	CompOp	—
AddRegUnexpander 📖	CompOp	—
IncPcUnexpander 📖	CompOp	—
annotateStateFns 📖	CompOp	—
extractStringFromTerm? 📖	CompOp	—
hasNestedLambdaBody 📖	CompOp	—
hoareTripleDelab 📖	CompOp	—
hoare_termToTerm 📖	CompOp	—
isOnlyStateIdent 📖	CompOp	—
mkAssertionAtN 📖	CompOp	—
stateFnsDelab 📖	CompOp	—
termToIdent? 📖	CompOp	—
termToMriscx_syntax? 📖	CompOp	—

---

← Back to Index