码农家园
关闭
导航
首页
> isabelle > 文章
关于类型：如何在 Isabelle 中对”布尔值”进行归纳定义
boolean
definition
isabelle
predicate
types