代码之家  ›  专栏  ›  技术社区  ›  thor BabarQB

Coq中的方括号语法[|-Set]是什么?

coq
  •  3
  • thor BabarQB  · 技术社区  · 8 年前
    内容过于久远，请刷新稍后重试
    2 回复  |  直到 8 年前
        1
  •  5
  •   larsr    8 年前
        2
  •  0
  •   Vinz    8 年前
    推荐文章
    Mei Zhang  ·  定义“依赖类型”模函子
    7 年前
    Jason Hu  ·  参见Ltac中的Hintbase
    7 年前
    lllllllllllll  ·  通过两个实现对阶乘程序进行Coq验证
    7 年前
    MikkelBybjerg  ·  如何延迟lambda评估,以便替换lambda
    7 年前
    user9335697  ·  实例化参数以评估函数定义
    7 年前
    Jian Wang  ·  Coq中的背景目标、搁置目标和放弃目标是什么?
    7 年前
    Pablo Inostroza  ·  有没有可能表达一个定理,说明应用了哪些构造函数?
    7 年前
    jmite  ·  Coq:在校样脚本编写期间查看校样术语
    7 年前
    ConfusedFormalizer  ·  a是怎样的。vo文件的结构是否便于coqchk使用?
    7 年前
    Siddharth Bhat  ·  查看所有已安装的库以及如何在Coq中导入它们
    7 年前
    关于  
    代码之家 - 一站式码农服务社区
    沪ICP备11025650号