Fichier:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png

Le contenu de la page n’est pas pris en charge dans d’autres langues.
Une page de Wikipédia, l'encyclopédie libre.

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

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 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 :

GNU head 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.

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 domain 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égendes

Ajoutez en une ligne la description de ce que représente ce fichier
Toluphene

Éléments décrits dans ce fichier

dépeint

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 heureVignetteDimensionsUtilisateurCommentaire
actuel9 février 2010 à 23:43Vignette pour la version du 9 février 2010 à 23:431 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=

La page suivante utilise ce fichier :

Usage global du fichier

Les autres wikis suivants utilisent ce fichier :