HoareAssignmentElab

📁 Source: MRiscX/Hoare/HoareAssignmentElab.lean

Statistics

Metric	Count
Definitions foldTermArray, generateHoareAssignmentSyntax, getHoareAssignmentArray, replaceKeywords, go	5
Theorems	0
Total	5

(root)

Definitions

Name	Category	Theorems
foldTermArray 📖	CompOp	—
generateHoareAssignmentSyntax 📖	CompOp	—
getHoareAssignmentArray 📖	CompOp	—
replaceKeywords 📖	CompOp	—

replaceKeywords

Definitions

Name	Category	Theorems
go 📖	CompOp	—

---

← Back to Index