文章总数
2
代码之家
› 用户
›
Rodrigo Ribeiro
全部
coq中的bove-capretta法
Rodrigo Ribeiro
·
技术社区
·
dependent-type
coq
· 6 年前
用Coq中归纳谓词的递归定义函数
Rodrigo Ribeiro
·
技术社区
·
coq
· 7 年前
1
