FLTSToLTS

📁 Source: Cslib/Foundations/Semantics/FLTS/FLTSToLTS.lean

Statistics

Metric	Count
Definitions instCoeLTS, toLTS, toLTS_imageFinite	3
Theorems toLTS_deterministic, toLTS_mtr, toLTS_tr	3
Total	6

Cslib.FLTS

Definitions

Name	Category	Theorems
instCoeLTS 📖	CompOp	—
toLTS 📖	CompOp	3 math math: toLTS_mtr, toLTS_tr, toLTS_deterministic
toLTS_imageFinite 📖	CompOp	—

Theorems

Name	Kind	Assumes	Proves	Validates	Depends On
toLTS_deterministic 📖	mathematical	—	Cslib.LTS.Deterministic toLTS	—	—
toLTS_mtr 📖	mathematical	—	Cslib.LTS.MTr toLTS mtr	—	—
toLTS_tr 📖	mathematical	—	Cslib.LTS.Tr toLTS tr	—	—

---

← Back to Index