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