Fichier:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
De Wikipedia, l'encyclopédie encyclopedia
Fichier d’origine (1 016 × 735 pixels, taille du fichier : 74 kio, type MIME : image/png)
Ce fichier et sa description proviennent de Wikimedia Commons.
Description
DescriptionCoqProofOfDecidablityOfEqualityOnNaturalNumbers.png |
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 | Travail personnel |
Auteur | Roconnor |
Conditions d’utilisation
Coq
Cette copie d'écran soit ne contient pas de parties ou de visuels de programmes sous copyright, soit l'auteur l'a placée sous une licence libre (indiquée sous cette notice), et suit donc les règles de Commons. Vous pouvez l'utiliser librement d'après sa licence particulière. Licence de Logiciel Libre :
Cette bibliothèque est un logiciel libre ; vous pouvez la redistribuer ou la modifier selon les termes de la licence publique générale limitée GNU, tels que publiés par la Free Software Foundation soit la version 2.1 de cette licence ou (à votre choix) toute version ultérieure. Cette bibliothèque est distribuée dans l’espoir qu’elle sera utile, mais sans aucune garantie ; sans même la garantie implicite de commercialisabilité ou d’adéquation à un besoin particulier. Consultez la version 2.1 et la version 3 de la GNU Lesser General Public License pour plus de détails. http://www.gnu.org/licenses/lgpl.htmlLGPLGNU Lesser General Public Licensetruetrue |
Note : si la copie d'écran montre n'importe quel travail qui n'est pas directement le résultat du code du programme lui-même, comme des textes ou des images qui ne font pas partie du logiciel, la licence de ce travail doit être indiquée séparément.
Proof shown
Public domainPublic domainfalsefalse |
Moi, propriétaire des droits d’auteur sur cette œuvre, la place dans le domaine public. Ceci s'applique dans le monde entier. Dans certains pays, ceci peut ne pas être possible ; dans ce cas : J’accorde à toute personne le droit d’utiliser cette œuvre dans n’importe quel but, sans aucune condition, sauf celles requises par la loi. |
Éléments décrits dans ce fichier
dépeint
Valeur sans élément de Wikidata
19 août 2009
image/png
1f764761b71833db4ac2838ca31dcfbde7447040
75 283 octet
735 pixel
1 016 pixel
Historique du fichier
Cliquer sur une date et heure pour voir le fichier tel qu'il était à ce moment-là.
Date et heure | Vignette | Dimensions | Utilisateur | Commentaire | |
---|---|---|---|---|---|
actuel | 9 février 2010 à 23:43 | 1 016 × 735 (74 kio) | 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= |
Utilisation du fichier
La page suivante utilise ce fichier :
Usage global du fichier
Les autres wikis suivants utilisent ce fichier :
- Utilisation sur el.wikipedia.org
- Utilisation sur en.wikipedia.org
- Utilisation sur et.wikipedia.org
- Utilisation sur ja.wikipedia.org
- Utilisation sur ru.wikipedia.org
- Utilisation sur zh.wikipedia.org