1
への参照、私はコック文法の情報を確認したいので、私はutopにgrammar.cmaをロードutop:エラー:</p> <pre><code>#load "/home/xxx/.opam/system/lib/coq/grammar/grammar.cma";; </code></pre> <p>をが、エラーがあります:未定義のグローバル `文法」
Error: Reference to undefined global `Grammar'
Coqのバージョン:8.5.0 OCamlのバージョン:4.02.3 utopバージョン:1.19