jisbruzzi/coq-devcontainer

A vscode devcontainer for working with coq

Shell