One-command bootstrap installer for reproducible Rocq Platform environments across Linux, macOS and Windows. - View it on GitHub