Presentation of rocq-bootstrap: a tool to install and configure the Rocq Platform and VSCode integration (VSRocq)(https://github.com/Justme0606/rocq-bootstrap, Sylvain Borgogno, 10 minutes)
Roles
Chairman:
Secretary: Théo Zimmermann
Attending: Sylvain Borgogno, Pierre Roux, Yann Leray
Notes
Presentation by Sylvain of a prototype for configuring Rocq and VsRocq for students.
Installs a given Rocq Platform.
Checks that VS Code is installed.
Installs the right version of VsRocq.
Tests that everything is working by creating a demo workspace.
On Linux, it is a script that can be run in a console. On Windows and macOS, it is a signed binary.
It does more than the Rocq Platform, because the Rocq Platform does not handle VS Code / VsRocq extension.
Idea of testing whether it could be done through the VsRocq extension (when Rocq is not already installed).
Suggestion to make it the default recommended version on the installation page and to move the repo to the Rocq Prover organization (or to merge it into the Rocq Platform repo). Should it be renamed to something else?