Notation
📁 Source: Cslib/Foundations/Semantics/LTS/Notation.lean
Statistics
| Metric | Count |
|---|---|
| 3 | |
| Theorems | 0 |
| Total | 3 |
Cslib.LTS
Definitions
| Name | Category | Theorems |
|---|---|---|
commandCreate_lts__ 📖 | CompOp | — |
command_Lts_transition_notation__ 📖 | CompOp | — |
lts_attr 📖 | CompOp | — |
---