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.
日期	2009年8月19日
来源	自己的作品
作者	Roconnor

许可协议

Coq

本屏幕截图不包含受著作权保护的的程序的组件或图像，或作者已将该程序以一自由协议（被指明在本通知下方）授权发行，并同时遵循维基共享资源的屏幕截图授权指南。你可据其授权协议自由地使用本屏幕截图。 自由软件授权协议：

本软件库为自由软件，您可以依据自由软件基金会发行的GNU宽通用公共许可证2.1版或任意后续版本的条款，传播和/或修改本软件库。本软件库发表时预期有用，但对此无任何保证，亦无隐含的可以销售或适合特定目的的保证。详情请见GNU宽通用公共许可证2.1版和第3版。

注意：如果本屏幕截图任何部分未显示程序代码的直接结果，例如非程序组成部分的文字和图象，那么这部份的授权协议必需单独指明。

العربية ∙ български ∙ català ∙ čeština ∙ kaszëbsczi ∙ Deutsch ∙ Ελληνικά ∙ English ∙ British English ∙ Esperanto ∙ español ∙ فارسی ∙ suomi ∙ français ∙ galego ∙ עברית ∙ magyar ∙ Bahasa Indonesia ∙ italiano ∙ 日本語 ∙ 한국어 ∙ македонски ∙ മലയാളം ∙ Bahasa Melayu ∙ norsk bokmål ∙ Nederlands ∙ norsk ∙ polski ∙ português ∙ português do Brasil ∙ română ∙ русский ∙ sicilianu ∙ slovenčina ∙ slovenščina ∙ Simple English ∙ svenska ∙ தமிழ் ∙ ไทย ∙ Türkçe ∙ українська ∙ 简体中文‎ ∙ 繁體中文‎ ∙ +/−

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=

文件用途

以下页面使用本文件：

Coq

全域文件用途

以下其他wiki使用此文件：

el.wikipedia.org上的用途
- Coq
en.wikipedia.org上的用途
- Proof assistant
et.wikipedia.org上的用途
- Tõestusassistent
fr.wikipedia.org上的用途
- Coq (logiciel)
- Assistant de preuve
ja.wikipedia.org上的用途
- Coq
ru.wikipedia.org上的用途
- Инструмент интерактивного доказательства теорем

File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png

目录

摘要

许可协议

Coq

Proof shown

说明

此文件中描述的项目

描绘内容

创作作者 ^{简体中文（已转写）}

某些值没有维基数据项目

版权状态 ^{简体中文（已转写）}

受版权保护，并由版权所有者释出于公有领域 ^{简体中文（已转写）}

许可协议

著作权持有者释出至公有领域 ^{简体中文（已转写）}

GNU宽通用公共许可证2.1或更高版本 ^{简体中文（已转写）}

成立或创建时间

19 8 2009

文件来源 ^{简体中文（已转写）}

上传者的原创作品 ^{简体中文（已转写）}

媒体类型 ^{简体中文（已转写）}

image/png

校验和 ^{简体中文（已转写）}

1f764761b71833db4ac2838ca31dcfbde7447040

数据大小 ^{简体中文（已转写）}

75,283 字节

高度

735 像素

宽度

1,016 像素

文件历史

文件用途

全域文件用途

摘要

许可协议

Coq

Proof shown

说明

此文件中描述的项目

描绘内容

创作作者 简体中文（已转写）

某些值没有维基数据项目

版权状态 简体中文（已转写）

受版权保护，并由版权所有者释出于公有领域 简体中文（已转写）

许可协议

著作权持有者释出至公有领域 简体中文（已转写）

GNU宽通用公共许可证2.1或更高版本 简体中文（已转写）

成立或创建时间

19 8 2009

文件来源 简体中文（已转写）

上传者的原创作品 简体中文（已转写）

媒体类型 简体中文（已转写）

image/png

校验和 简体中文（已转写）

1f764761b71833db4ac2838ca31dcfbde7447040

数据大小 简体中文（已转写）

75,283 字节

高度

735 像素

宽度

1,016 像素

文件历史

文件用途

全域文件用途

创作作者 ^{简体中文（已转写）}

版权状态 ^{简体中文（已转写）}

受版权保护，并由版权所有者释出于公有领域 ^{简体中文（已转写）}

著作权持有者释出至公有领域 ^{简体中文（已转写）}

GNU宽通用公共许可证2.1或更高版本 ^{简体中文（已转写）}

文件来源 ^{简体中文（已转写）}

上传者的原创作品 ^{简体中文（已转写）}

媒体类型 ^{简体中文（已转写）}

校验和 ^{简体中文（已转写）}

数据大小 ^{简体中文（已转写）}