我有一个 Coq 项目，其中包含许多文件（例如 x1.v、x2.v、... xn.v），包括存储在文件夹“C:\Users\WK\Desktop\Personal\coq-project”中的 Makefile 和在我的 Windows 7 机器上的“C:\Coq”中安装了 Coq 8.3。
Coq 程序（文件）相互依赖。如何在 Coq 中执行单个程序（比如 x1.v）？我想在 Coq 中打开一个文件并逐行编译以理解它，但它会给出错误，因为每个文件中有许多导入的文件，而没有一个 (.vo) 格式的文件。我认为命令 coqc、coqtop、make 或这些命令的任何组合都有一些用途，但我不知道命令、参数和顺序的确切格式。请让我给出完整路径的完整命令记住上述路径。
谢谢，
维拉亚特