码农家园
关闭
导航
首页
> coq > 文章
在 Coq 中描述递归类型
coq