VSIX Extensions Published By Enrico Tassi
Extension Count: 2
Developer: Enrico Tassi
VS Code Extensions Offered by Enrico Tassi
VsixHub includes total 2 extensions from the developer Enrico Tassi.
-
Elpi lang 0.2.6 VSIX File for VS Code
Syntax highlighting for Elpi ...
-
Coq Elpi Lang 0.0.6 VSIX File for VS Code
Syntax highlighting for Coq and Elpi ...