elpi-vscode-extension
PoC at creating a VSCode extension providing an Elpi Inspector
Archived project! Repository and other project resources are read-only
Si vous êtes un personnel Inria et que vous souhaitez participer aux tests de notre future plateforme Gitlab basée sur la version ultimate avec gitlab LFS activé merci de contacter Didier Chassignol.