GitHub / coq / vscoq
Visual Studio Code extension for Coq
JSON API: https://data.code.gouv.fr/api/v1/hosts/GitHub/repositories/coq%2Fvscoq
Stars: 370
Forks: 74
Open issues: 145
License: mit
Language: OCaml
Size: 78.7 MB
Dependencies parsed at: Pending
Created at: almost 6 years ago
Updated at: about 2 months ago
Pushed at: 2 months ago
Last synced at: about 2 months ago
Topics: coq, editor, vscode, vscode-extension, vscodium
Readme
Loading...