文章总数 3
代码之家 › 用户  ›  authchir
全部
如何用参数证明关系的可判定性?
authchir  · 技术社区    · partial-ordering formal-verification deterministic proof coq  ·  6 年前
如何定义自动展开的定义
authchir  · 技术社区    · coq  ·  7 年前
可判定等式如何与列表一起工作。去除
authchir  · 技术社区    · coq  ·  7 年前
关于   移动版
代码之家 - 一站式码农服务社区
沪ICP备11025650号