Using the rocq platform binary installer for Windows:
https://rocq-prover.org/install#windows-vscode
To let rocq know the binary and library directories
- $env:COQBIN = "C:\rocq\bin"
- $env:ROCQLIB = "C:\rocq\lib\coq"
To run rocq everywhere
- $env:PATH += ";C:\rocq\bin"
I do not understand why this information is not available on the web site of Rocq!
No comments:
Post a Comment