文件:Software-Foundations-Volume-3-Verified-Functional-Algorithms.jpg

本预览的大小：496×599像素。

完全分辨率‎ （795×960像素，文件大小：111 KB，MIME类型：image/jpeg）

文件历史

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

	日期/时间	缩略图	大小	用户	评论
当前	2024年12月30日 (一) 07:48		795 × 960 (111 KB)	Allen (讨论 \| 贡献)	https://softwarefoundations.cis.upenn.edu/ category:Software Foundations category:formal category:coq

没有页面链接到本文件。