Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>CocoNew to Visual Studio Code? Get it now.
Coco

Coco

Cocotec

cocotec.io
|
200 installs
| (0) | Free
Language support for Coco, the formally verified programming language from Cocotec.
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

coco README

Welcome to the Coco plugin for VSCode. This currently contains basic support for the Coco Language, including syntax highlighting and language intelligence only.

Use of the this plugin requires a license for the Coco Platform from Cocotec Limited.

  • Contact us
  • Jobs
  • Privacy
  • Terms of use
  • Trademarks
© 2023 Microsoft