Fichier:CoqProofOfDecidablityOfEqualityOnNaturalNumbers.png
Taille de cet aperçu : 800 × 579 pixels. Autres résolutions : 320 × 231 pixels | 640 × 463 pixels | 1 016 × 735 pixels.
Fichier d’origine (1 016 × 735 pixels, taille du fichier : 74 kio, type MIME : image/png)
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