File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
本预览的尺寸：800 × 579像素。 其他分辨率：320 × 231像素 | 640 × 463像素 | 1,016 × 735像素。
原始文件 （1,016 × 735像素，文件大小：74 KB，MIME类型：image/png）
摘要
| 描述 |
English: A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers. |
| 日期 | |
| 来源 | 自己的作品 |
| 作者 | Roconnor |
许可协议
Coq
本屏幕截图不包含受著作权保护的的程序的组件或图像，或作者已将该程序以一自由协议（被指明在本通知下方）授权发行，并同时遵循维基共享资源的屏幕截图授权指南。你可据其授权协议自由地使用本屏幕截图。 自由软件授权协议：
|
本软件库为自由软件，您可以依据自由软件基金会发行的GNU次级公众许可协议2.1版或任意后续版本的条款，传播和/或修改本软件库。本软件库发表时预期有用，但对此无任何保证，亦无隐含的可以销售或适合特定目的的保证。详情请见GNU次级公众许可协议2.1版和第3版。 |
注意：如果本屏幕截图任何部分未显示程序代码的直接结果，例如非程序组成部分的文字和图象，那么这部份的授权协议必需单独指明。
Proof shown
|
我，本作品著作权人，释出本作品至公有领域。这适用于全世界。 在一些国家这可能不合法；如果是这样的话，那么： 我无条件地授予任何人以任何目的使用本作品的权利，除非这些条件是法律规定所必需的。 |
文件历史
点击某个日期/时间查看对应时刻的文件。
| 日期/时间 | 缩略图 | 大小 | 用户 | 备注 | |
|---|---|---|---|---|---|
| 当前 | 2010年2月9日 (二) 21:43 | | 1,016 × 735（74 KB） | Roconnor | {{Information |Description={{en|1=A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers.}} |Source={{own}} |Author=Roconnor |Date=2009-08-19 |Permission= |other_versions= |
文件用途
以下页面使用本文件：
全域文件用途
以下其他wiki使用此文件：
- el.wikipedia.org上的用途
- en.wikipedia.org上的用途
- et.wikipedia.org上的用途
- fr.wikipedia.org上的用途
- ja.wikipedia.org上的用途
- ru.wikipedia.org上的用途
