Index - _
| _afterConclusionKind | ProofSyntax |
| _assumptionKind | ProofSyntax |
| _conclusionKind | ProofSyntax |
| _currentHoverLine | App.Model |
| _currentTooltip | App.Model |
| _dragging | App.Model |
| _dragTarget | App.Model |
| _emptyDerivation | App.Model |
| _exampleProofs | App.Model |
| _focusedLine | App.Model |
| _functionSymbols | App.Model |
| _infixPreds | App.Model |
| _lastDragged | App.Model |
| _lineKind | ProofSyntax |
| _logic | App.Model |
| _onMobile | App.Model |
| _operators | App.Model |
| _predicateSymbols | App.Model |
| _proof | App.Model |
| _quantifiers | App.Model |
| _rules | App.Model |
| _sidebarToggle | App.Model |
| _spawnType | App.Model |
| _uri | App.Model |