我正在上软件基础课程，由于某种原因，我无法获得coqc命令来编译我的库。
我做到了：
coqc Maps.v
但收到错误：
错误：文件/Users/pinocchio/coq/software_foundations_vol1/Maps.vo 包含图书馆地图，而不包含图书馆地图
我也尝试使用coqIDE进行编译，但是出现以下错误：
错误：已编译的库映射（在文件中 /Users/pinocchio/coq/software_foundations_vol1/Maps.vo）使 库Coq.Init.Notations的假设不一致
关于我该怎么办的任何想法？