Awesome

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