gares.coq-elpi-lang

Coq Elpi lang

Total downloads

2,154

7d gain

16

Rolling weekly delta

Rating

- / 5

0 reviews

Version

0.0.9

Latest published

Activity

Extension trends

Manifest

Metadata

Namespace: gares
Name: coq-elpi-lang
License: MIT
Homepage: https://github.com/LPCIC/coq-elpi-lang/README.md
Repository: https://github.com/LPCIC/coq-elpi-lang.git
Reviews: 0

Taxonomy

Categories

Programming Languages

Description

Syntax highlighting for Coq/Rocq and Elpi

Archive

Release history

6 latest releases