在Ubuntu 14.04中制作ynot(Coq库)时出错

时间:2014-11-18 19:57:32

标签: ubuntu-14.04 coq

我正在尝试安装 - 一个Coq证明助手(http://ynot.cs.harvard.edu/)的库,我从这里得到它:https://github.com/Ptival/ynot(因为我认为它已修复为8.4pl2)

我有: Coq Proof Assistant,版本8.4pl3(2014年1月) 2014年1月19日23:14:16与OCaml 4.01.0编译

首先,我git克隆ynot到/ tmp,然后去那里发布make。

它在STsep.v文件中断:

> coqc -R . Ynot  -q  -I .    STsep 
> File "./STsep.v", line 191, characters 4-11: 
> Error: No such unproven subgoal 
> make[2]: *** [STsep.vo] Error 1

有什么想法吗?

0 个答案:

没有答案