elpi-vscode-extension Archived
PoC at creating a VSCode extension providing an Elpi Inspector
This is an archived project. Repository and other project resources are read-only.
PoC at creating a VSCode extension providing an Elpi Inspector