如何安装 Coq
How to install Coq
我一直在使用 https://coq.inria.fr/ for both Windows and Mac. However, when I try coqc or coqtop on terminal or command prompt I get error messages saying that the command is not found. Although with that being said, I can still run Coq almost perfectly fine on the Coq IDE but when I compile buffer, in particularly the exercises from Software Foundations 的下载链接安装 Coq，我收到以下消息。
Running: coqc -I '/Users/zhangsheng/Desktop/G/repos/Coqy/cis500' '/Users/zhangsheng/Desktop/G/repos/Coqy/cis500/Basics.v' 2>&1
据我所知，2>&1 似乎是某种形式的误导，我认为这就是 coqc 和 coqtop 似乎对我的 [ 不起作用的原因=24=]提示。
有人可以建议 'best' 在 Mac 或 Windows 或两者上安装 Coq 的方法，这样我就不会遇到上面提到的问题吗？
我一直在使用 https://coq.inria.fr/ for both Windows and Mac. However, when I try coqc or coqtop on terminal or command prompt I get error messages saying that the command is not found. Although with that being said, I can still run Coq almost perfectly fine on the Coq IDE but when I compile buffer, in particularly the exercises from Software Foundations 的下载链接安装 Coq，我收到以下消息。
Running: coqc -I '/Users/zhangsheng/Desktop/G/repos/Coqy/cis500' '/Users/zhangsheng/Desktop/G/repos/Coqy/cis500/Basics.v' 2>&1
据我所知，2>&1 似乎是某种形式的误导，我认为这就是 coqc 和 coqtop 似乎对我的 [ 不起作用的原因=24=]提示。
有人可以建议 'best' 在 Mac 或 Windows 或两者上安装 Coq 的方法，这样我就不会遇到上面提到的问题吗？