Home

Awesome

coq-elpi-lang

This extension provides some basic support for the Elpi inside Coq

Features

Requirements

Extension Settings

Known Issues

Release Notes

0.0.1

First public release

Requirements

Extension Settings

Known Issues

Release Notes

0.0.1

First public release