 | redtt diagnosticsDiagnostics for the redtt Proof Assistant Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
|
| Command | Symbol |
|---|---|
\II |
𝕀 |
\-> |
→ |
\Gl |
λ |
\# |
★ |
\x |
× |
\6 |
∂ |
\\|- |
⊢ |
\GO |
Ω |