coq

coq

ruoz

|
13,230 installs
| (1) | Free
Coq language support for Visual Studio Code
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info