/coq-devcontainer

A vscode devcontainer for working with coq

Primary LanguageShell

No issues in this repository yet.