Divergence

📁 Source: Cslib/Foundations/Semantics/LTS/Divergence.lean

Statistics

Metric	Count
Definitions DivergenceFree, Divergent, DivergentTrace	3
Theorems divergence_free, divergentTrace_drop	2
Total	5

Cslib.LTS

Definitions

Name	Category	Theorems
DivergenceFree 📖	CompData	—
Divergent 📖	MathDef	1 math math: DivergenceFree.divergence_free
DivergentTrace 📖	MathDef	1 math math: divergentTrace_drop

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
divergentTrace_drop 📖	mathematical	DivergentTrace	DivergentTrace Cslib.ωSequence.drop	—	—

Cslib.LTS.DivergenceFree

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
divergence_free 📖	mathematical	—	Cslib.LTS.Divergent	—	—

---

← Back to Index