Menu
首页
搜索
SpringBoot
Vue
Vant
Python
Android
Harmony
InnoDB
Isabelle
关注
发信
关注(28)
粉丝(399)
动态
文章
图片
文章
command-line - 从命令行验证Isabelle证明
isabelle - 在 isabelle 的证明中打印/显示证明方法(如 simp)的详细步骤
jedit - 如何使用持久堆图像在 Isabelle/jEdit 中更快地加载理论？
scala - 伊莎贝尔(Isabelle)和斯卡拉(Scala)
isabelle - 如何在Isabelle/jEdit中启用 “Tracing”
isabelle - 伊莎贝尔的不平等推理
isabelle - 在伊莎贝尔使用“find_theorems”
windows-7 - 在Windows7下无法从Isabelle/HOL生成LaTeX
isabelle - 使用 `isabelle`与jEdit建立 session
linux - Isabelle/Simpl新堆图像未显示在jEdit中