按照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。我缺少一些配置吗？