我已经按照 QuickChick 的 GitHub 页面上给出的说明使用 opam 安装了 QuickChick：
https://github.com/QuickChick/QuickChick
安装成功后，我尝试运行 QuickChick 教程
https://github.com/QuickChick/QuickChick/blob/master/examples/Tutorial.v
并且 Coq 返回了以下错误消息
错误： 找不到绑定到逻辑路径匹配后缀 <> 和前缀QuickChick的物理路径。
当我试图处理这条线时
从 QuickChick需要导入QuickChick。
我在 Ubuntu 16.04 上运行 Coq 8.8、Opam 1.2.2、Ocaml 4.04.0 和 Coq-QuickChick 1.0.1。是否有一些我缺少的配置？