https://github.com/coq-community/vscoq

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]
https://github.com/coq-community/vscoq

coq editor vscode vscode-extension vscodium

Last synced: about 1 month ago
JSON representation

A Visual Studio Code extension for Coq [maintainers=@rtetley,@maximedenes,@huynhtrankhanh,@thery,@Blaisorblade]

• Host: GitHub
• URL: https://github.com/coq-community/vscoq
• Owner: coq-community
• License: mit
• Created: 2019-07-10T15:48:24.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2024-05-29T15:01:30.000Z (3 months ago)
• Last Synced: 2024-05-29T17:11:34.827Z (3 months ago)
• Topics: coq, editor, vscode, vscode-extension, vscodium
• Language: OCaml
• Homepage:
• Size: 69.3 MB
• Stars: 312
• Watchers: 15
• Forks: 64
• Open Issues: 116
• Metadata Files:
  • Readme: README.md
  • License: LICENSE

Awesome Lists containing this project

• awesome-coq - VsCoq - Language server and extension for the Visual Studio Code and VSCodium editors. (Projects / User Interfaces)