ファイル:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png

元のファイル(1,016 × 735 ピクセル、ファイルサイズ: 74キロバイト、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 head このライブラリはフリーソフトウェアです。あなたは、フリーソフトウェア財団の発行する GNU 劣等一般公衆利用許諾書 (GNU Lesser General Public License) (バージョン2.1、またはそれ以降のライセンス) の規約に基づき、このライブラリを再配布および改変できます。この作品は、有用であることを期待して配布されていますが、商用あるいは特定の目的に適するかどうかも含めて、暗黙的にも、一切保証されません。詳しくは、バージョン2.1およびバージョン3のGNU 劣等一般公衆利用許諾書をご覧ください。

注意: スクリーンショットがプログラムコード自体の直接の結果でないもの、たとえばプログラムの一部でない文章や画像などを表示している場合、その作品のライセンスは必ず別個に示さなければなりません。


Proof shown

Public domain この著作物の著作権者である私は、この著作物における権利を放棄しパブリックドメインとします。これは全世界で適用されます。
一部の国では、これが法的に可能ではない場合があります。その場合は、次のように宣言します。
私は、あらゆる人に対して、法により必要とされている条件を除き、如何なる条件も課すことなく、あらゆる目的のためにこの著作物を使用する権利を与えます。

キャプション

このファイルの内容を1行で記述してください
Toluphene

このファイルに描写されている項目

題材

19 8 2009

1f764761b71833db4ac2838ca31dcfbde7447040

75,283 バイト

735 ピクセル

1,016 ピクセル

ファイルの履歴

過去の版のファイルを表示するには、その版の日時をクリックしてください。

日付と時刻サムネイル寸法利用者コメント
現在の版2010年2月9日 (火) 21:432010年2月9日 (火) 21:43時点における版のサムネイル1,016 × 735 (74キロバイト)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=

以下のページがこのファイルを使用しています:

グローバルなファイル使用状況

以下に挙げる他のウィキがこの画像を使っています: