HasWellFormed

📁 Source: Cslib/Foundations/Syntax/HasWellFormed.lean

Statistics

Metric	Count
Definitions HasWellFormed, wf, «term_✓»	3
Theorems	0
Total	3

Cslib

Definitions

Name	Category	Theorems
HasWellFormed 📖	CompData	—
«term_✓» 📖	CompOp	—

Cslib.HasWellFormed

Definitions

Name	Category	Theorems
wf 📖	MathDef	2 math math: Cslib.LambdaCalculus.LocallyNameless.Fsub.Env.Wf.to_ok, Cslib.LambdaCalculus.LocallyNameless.Context.haswellformed_def

---

← Back to Index