LTSToFLTS
📁 Source: Cslib/Foundations/Semantics/FLTS/LTSToFLTS.lean
Statistics
| Metric | Count |
|---|---|
DefinitionstoFLTS | 1 |
| 3 | |
| Total | 4 |
Cslib.LTS
Definitions
| Name | Category | Theorems |
|---|---|---|
toFLTS 📖 | CompOp |
Theorems
| Name | Kind | Assumes | Proves | Validates | Depends On |
|---|---|---|---|---|---|
toFLTS_mem_mtr 📖 | mathematical | — | Cslib.FLTS.mtrtoFLTSMTr | — | — |
toFLTS_mem_tr 📖 | mathematical | — | Cslib.FLTS.trtoFLTSTr | — | — |
toFLTS_mtr_setImageMultistep 📖 | mathematical | — | Cslib.FLTS.mtrtoFLTSsetImageMultistep | — | — |
---