 | ST — Symbolic Theory LanguageSyntax highlighting, diagnostics, hover, symbols & completions for ST (Symbolic Theory Language) — Logic, proofs, and text formalization. Installation Launch VS Code Quick Open ( Ctrl+P), paste the following command, and press enter.Copied to clipboard |
No overview has been entered by publisher |