Work in progress. Maintainer Mode changes every day: pages, numbers and links can change or break. Tell us what is wrong or missing.

pkgs/applications/editors/vscode/extensions/rocq-prover.vsrocq/

pkgs/applications/editors/vscode/extensions/ · 0 packages and modules · 1 open pull requests

Sign in to watch

Pull requests 1

vscode-extensions.rocq-prover.vsrocq: build from source, bundle the language server draft

#548845 by samestep · opened 2mo ago

Issues 0

None open.