vscode-cpc

VS Code extension providing syntax highlighting for the Cooperating Proof Calculus (CPC) proof format

Name		Name	Last commit message	Last commit date
Latest commit History 14 Commits
.github/workflows		.github/workflows
syntaxes		syntaxes
.gitignore		.gitignore
CHANGES.md		CHANGES.md
README.md		README.md
language-configuration.json		language-configuration.json
package.json		package.json
vsc-extension-quickstart.md		vsc-extension-quickstart.md

Provide feedback