Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Twelf LangNew to Visual Studio Code? Get it now.
Twelf Lang

Twelf Lang

yaene

|
139 installs
| (1) | Free
(Very very basic) Syntax highlighting for Twelf
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

twelf-lang README

Features

Syntax highlighting for Twelf. Integrate twelf-server into vscode.

Requirements

Known Issues

Release Notes

See changelog.

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft