This is a file from the Wikimedia Commons

File:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png

From Wikipedia, the free encyclopedia
Jump to navigation Jump to search

Original file(1,016 × 735 pixels, file size: 74 KB, MIME type: image/png)

Summary

Description
English: A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers.
Date
Source Own work
Author Roconnor

Licensing

Coq

This screenshot either does not contain copyright-eligible parts or visuals of copyrighted software, or the author has released it under a free license (which should be indicated beneath this notice), and as such follows the licensing guidelines for screenshots of Wikimedia Commons. You may use it freely according to its particular license.
Free software license:
GNU head This library is free software; you can redistribute it and/or modify it under the terms of the GNU Lesser General Public License as published by the Free Software Foundation; either version 2.1 of the License, or (at your option) any later version. This library is distributed in the hope that it will be useful, but without any warranty; without even the implied warranty of merchantability or fitness for a particular purpose. See version 2.1 and version 3 of the GNU Lesser General Public License for more details.
Note: if the screenshot shows any work that is not a direct result of the program code itself, such as a text or graphics that are not part of the program, the license for that work must be indicated separately.

български | català | čeština | kaszëbsczi | Deutsch | Ελληνικά | English | British English | Esperanto | español | فارسی | suomi | français | galego | עברית | magyar | Bahasa Indonesia | italiano | 日本語 | 한국어 | македонски | മലയാളം | Bahasa Melayu | Nederlands | norsk | polski | português | português do Brasil | русский | sicilianu | slovenčina | slovenščina | svenska | Türkçe | 中文 | 中文(简体)‎ | 中文(繁體)‎ | 中文(台灣)‎ | +/−

Proof shown

Public domain I, the copyright holder of this work, release this work into the public domain. This applies worldwide.
In some countries this may not be legally possible; if so:
I grant anyone the right to use this work for any purpose, without any conditions, unless such conditions are required by law.

File history

Click on a date/time to view the file as it appeared at that time.

Date/TimeThumbnailDimensionsUserComment
current21:43, 9 February 2010Thumbnail for version as of 21:43, 9 February 20101,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=
The following pages on the English Wikipedia link to this file (pages on other projects are not listed):

Global file usage

The following other wikis use this file:

  • Usage on el.wikipedia.org
  • Usage on fr.wikipedia.org
  • Usage on ja.wikipedia.org
  • Usage on zh.wikipedia.org