Coq Elpi lang

Enrico Tassi

|
127 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