GitHub / coq / vscoq
Visual Studio Code extension for Coq
JSON API: https://repos.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: over 6 years ago
Updated at: 7 months ago
Pushed at: 8 months ago
Last synced at: 7 months ago
Topics: coq, editor, vscode, vscode-extension, vscodium
Loading...