coq定理证明器 全部 | 未解决 | 已解决
2018.06.26 13:06来自 qq_24786707 悬赏 5C

有没有会使用Coq定理证明器的大神,求指点!!!

有没有会使用Coq定理证明器的大神,求指点!!!coqIDE的使用,相关的书籍什么的都可以
2

回答