文件:FStar-for-Billions-User.png

本预览的大小：800×390像素。

完全分辨率‎ （1,934×944像素，文件大小：738 KB，MIME类型：image/png）

文件历史

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

	日期/时间	缩略图	大小	用户	评论
当前	2022年10月14日 (五) 13:42		1,934 × 944 (738 KB)	Allen (讨论 \| 贡献)	https://www.fstar-lang.org/gs2021/gs2021.html#/sec-program-proofs-in-f--for-billions-of-unsuspecting-users category:proof assistant category:formal category:ML category:OCaml

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