文件:Isabelle-system-architecture.png

没有更高的分辨率。

Isabelle-system-architecture.png‎ （757×561像素，文件大小：62 KB，MIME类型：image/png）

文件历史

查看某一时刻的文件，请单击相应的日期/时间。

	日期/时间	缩略图	大小	用户	评论
当前	2022年2月9日 (三) 10:28		757 × 561 (62 KB)	Allen (讨论 \| 贡献)	https://docs.huihoo.com/proof/isabelle/experiments-in-verification/session01.pdf category:isabelle category:ML category:proof assistant category:emacs

以下的1个页面链接到本文件：