Package Usage: npm: @vscode/vsce

VS Code Extensions Manager
78 versions
Latest release: over 1 year ago
70 dependent packages
520,016 downloads last month

LS and VSCode client for Publicodes

Size: 528 KB - Last synced: 1 day ago - Pushed: 10 days ago

Visual Studio Code extension for Coq

Size: 78.7 MB - Last synced: 9 months ago - Pushed: 9 months ago

Proof assistant based on the λΠ-calculus modulo rewriting

Size: 39.2 MB - Last synced: 6 days ago - Pushed: 7 days ago

Size: 866 KB - Last synced: 5 days ago - Pushed: 12 months ago

ecosyste.ms