码农家园
关闭
导航
首页
> type-theory > 文章
关于依赖类型:如何在精益编译时证明关系?
dependent-type
lean
type-theory