Skip to content
| Marketplace
Sign in
Visual Studio Code>Other>rocq-bindingsNew to Visual Studio Code? Get it now.
rocq-bindings

rocq-bindings

Matthieu Sozeau

|
15 installs
| (0) | Free
Useful commands to develop and work with Rocq
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

rocq-bindings README

Expose some useful commands for developing on Rocq and with Rocq.

Features

  • toggleNoInit: toggles the '-noinit' flag in your coqtop.args workspace variable and call's resets from VSCoq.

Requirements

Requires the VSCoq legacy (1.*) plugin to be useful.

Known Issues

N/A

Release Notes

1.0.0

Initial release of rocq-bindings

  • Contact us
  • Jobs
  • Privacy
  • Manage cookies
  • Terms of use
  • Trademarks
© 2025 Microsoft