3熱
1答えて
なぜcoqideで_CoqProjectを使って `make 'するのがコマンドラインで` coqc`と違うのですか?
7熱
2答えて
Coq/Proof GeneralのAgdaのようなプログラミングですか?
1熱
Coqをインストールするには
6熱
参照 "X"は現在の環境で見つかりませんでした
Coqideキーバインディングのバグ
2熱
LinuxのCoqIDE設定
なぜcoqでスクリプトを生成したのかを証明する方法は?
0熱
CoqのXMLプロトコル文書の「editId」とは何ですか?
CoqIDE 8.5の既定のフォント
Coqide 8.5:Linuxで構文強調表示がありません