文章总数 2
代码之家 › 用户  ›  Rodrigo Ribeiro
全部
coq中的bove-capretta法
Rodrigo Ribeiro  · 技术社区    · dependent-type coq  ·  6 年前
用Coq中归纳谓词的递归定义函数
Rodrigo Ribeiro  · 技术社区    · coq  ·  7 年前
关于   移动版
代码之家 - 一站式码农服务社区
沪ICP备11025650号