qq_24786707 2018-06-26 13:06 采纳率: 0%
浏览 1119
已结题

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

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

  • 写回答

2条回答 默认 最新

  • xyuan18 2018-06-26 13:21
    关注

    交互式定理证明与程序开发Coq归纳构造演算的艺术

    评论

报告相同问题？

悬赏问题

  • ¥50 comfyui下连接animatediff节点生成视频质量非常差的原因
  • ¥20 有关区间dp的问题求解
  • ¥15 多电路系统共用电源的串扰问题
  • ¥15 slam rangenet++配置
  • ¥15 有没有研究水声通信方面的帮我改俩matlab代码
  • ¥15 对于相关问题的求解与代码
  • ¥15 ubuntu子系统密码忘记
  • ¥15 信号傅里叶变换在matlab上遇到的小问题请求帮助
  • ¥15 保护模式-系统加载-段寄存器
  • ¥15 电脑桌面设定一个区域禁止鼠标操作