Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>Coq Elpi langNew to Visual Studio Code? Get it now.
Coq Elpi lang

Coq Elpi lang

Enrico Tassi

|
877 installs
| (0) | Free
Syntax highlighting for Coq and Elpi
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

coq-elpi-lang

This extension provides some basic support for the Elpi inside Coq

Features

  • Basic syntax highlighting

Requirements

  • none

Extension Settings

  • none

Known Issues

  • none

Release Notes

0.0.1

First public release

Requirements

  • elpi-lang
  • coq-lang

Extension Settings

  • none

Known Issues

  • none

Release Notes

0.0.1

First public release

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