那些遇到过的问题

相关疑难解决方法(0)

被Coq进口混淆

有人可以告诉我之间的区别

  • Require 名字.
  • Require Import 名字.
  • Import 名称

？

import module coq

Cry*_*sis
2018 03-19
6
推荐指数
1
解决办法
164
查看次数

标签 统计

coq ×1

import ×1

module ×1