Flakes
Categories
Options
Packages
Sign in
MyNixOS
nixpkgs
packages
vscode-extensions
rocq-prover
vsrocq
package
vscode-extension-rocq-prover-vsrocq
Description
VsRocq is an extension for Visual Studio Code with support for the Rocq Prover.
Metadata
Install
Version
2.3.4
License
MIT
Status
Broken
No
Insecure
No
Unfree
No
Unsupported
No
Source
pkgs/applications/editors/vscode/extensions/default.nix:3948
Homepage
https://github.com/rocq-prover/vsrocq
Maintainers
1
(1)
Théo Zimmermann