Isabelle/HOL中的计算推理
在书的第77页,有一个例子显示: 本例中使用的证明结构用于计算推理。然后,最新的等式右侧应等于当前等式的左侧,如下所示:Isabelle/HOL中的计算推理,isabelle,Isabelle,在书的第77页,有一个例子显示: 本例中使用的证明结构用于计算推理。然后,最新的等式右侧应等于当前等式的左侧,如下所示: 您能解释一下示例1中发生了什么吗?欢迎!你的问题相当含糊。你到底有什么问题?
您能解释一下示例1中发生了什么吗?欢迎!你的问题相当含糊。你到底有什么问题?