「C:\Users\WK\Desktop\Personal\coq-project」フォルダーに保存された Makefile を含む、多数のファイル (x1.v、x2.v、... xn.v など) を含む Coq プロジェクトがあります。 Windows 7 マシンの「C:\Coq」に Coq 8.3 をインストールしました。
Coq プログラム (ファイル) は相互に依存しています。Coq で単一のプログラム (x1.v など) を実行するにはどうすればよいですか? Coq でファイルを開き、それを理解するために 1 行ずつコンパイルしたいのですが、(.vo) 形式のファイルがなく、それぞれにインポートされたファイルが多数あるため、エラーが発生します。コマンド coqc、coqtop、make、またはこれらの組み合わせが使用されていると思いますが、コマンド、引数、および順序の正確な形式はわかりません。上記のパスを念頭に置いて、完全なパスを含む完全なコマンドを教えてください。
ありがとう、
ウィラヤット