/coq-devcontainer

A vscode devcontainer for working with coq

Primary LanguageShell

Stargazers

No one’s star this repository yet.