Tag: elpi
Found 2 extensions tagged with "elpi".
elpi related extensions
-
Category: Programming Languages / Updated: March 28, 2024
Syntax highlighting for Elpi ...
-
Category: Programming Languages / Updated: November 7, 2023
Syntax highlighting for Coq and Elpi ...
Recommended
