Thanks to visit codestin.com
Credit goes to github.com

Name		Name	Last commit message	Last commit date
Latest commit History 32 Commits
.vscode		.vscode
configs		configs
images		images
snippets		snippets
src		src
syntaxes		syntaxes
test		test
typings		typings
.gitignore		.gitignore
.travis.yml		.travis.yml
.vscodeignore		.vscodeignore
LICENSE		LICENSE
README.md		README.md
features.md		features.md
jsconfig.json		jsconfig.json
package.json		package.json

Repository files navigation

Coq for Visual Studio Code

![status](https://img.shields.io/badge/status-working in progress-red.svg)

Implemented features

command	shortcut
next	shift + cmd/ctrl + n
prev	shift + cmd/ctrl + u
to cursor	shift + cmd/ctrl + enter

Acknowledgements

Grammar file is taken from vscoq.

About

Coq for Visual Studio Code

BSD-3-Clause license

Report repository

Releases

No releases published

Packages

No packages published

Languages

JavaScript 100.0%