Fail:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
Algfail (1016 × 735 pikslit, faili suurus: 74 KB, MIME tüüp: image/png)
|
See fail ja sellest kastist allapoole jääv kirjeldus pärinevad kesksest failivaramust Wikimedia Commons. |
|
Faili lehekülg Commonsis |
Lühikirjeldus
| Kirjeldus |
English: A screenshot of the Coq proof assistant in the middle of a proof of the decidability of equality of the natural numbers. |
| Kuupäev | |
| Allikas | Üleslaadija oma töö |
| Autor | Roconnor |
Litsents
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:
|
See teek on vaba tarkvara; tohid seda taaslevitada ja/või selle põhjal teisendeid luua vastavalt Vaba Tarkvara Fondi avaldatud GNU Vähem Üldise Avaliku Litsentsi versioonis 2.1 või (sinu valikul) hilisemas seatud tingimustele. Seda teeki levitatakse lootuses, et see on kasulik, aga igasuguse tagatiseta, ka kaudse tagatiseta teose turustatavuse või müügikõlblikkuse kohta. Üksikasjad leiad GNU Vähem Üldise Avaliku Litsentsi versioonidest 2.1 ja 3. |
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.
Proof shown
|
Selle teose autoriõiguste valdajana annan selle teose avalikku omandisse. See kehtib üleilmselt. Kui see pole mõnes riigis õiguslikult võimalik: Annan kõigile õiguse seda teost kasutada ükskõik mille jaoks, ilma ühegi tingimuseta, kui seadus neid just ei sea. |
Faili ajalugu
Klõpsa kuupäeva ja kellaaega, et näha sel ajahetkel kasutusel olnud failiversiooni.
| Kuupäev/kellaaeg | Pisipilt | Mõõtmed | Kasutaja | Kommentaar | |
|---|---|---|---|---|---|
| viimane | 10. veebruar 2010, kell 00:43 | | 1016 × 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= |
Faili kasutus
Seda faili kasutab järgmine lehekülg:
Globaalne failikasutus
Järgmised muud vikid kasutavad seda faili:
- Faili kasutus vikis el.wikipedia.org
- Faili kasutus vikis en.wikipedia.org
- Faili kasutus vikis fr.wikipedia.org
- Faili kasutus vikis ja.wikipedia.org
- Faili kasutus vikis ru.wikipedia.org
- Faili kasutus vikis zh.wikipedia.org
