Discussion:Système de preuve interactive
Dernier commentaire : il y a 15 ans par Outs
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Cet article est indexé par le projet Informatique théorique.
Les projets ont pour but d’enrichir le contenu de Wikipédia en aidant à la coordination du travail des contributeurs. Vous pouvez modifier directement cet article ou visiter les pages de projets pour prendre conseil ou consulter la liste des tâches et des objectifs.
| Avancement | Importance | pour le projet | |
|---|---|---|---|
| Ébauche | À évaluer |  | Informatique théorique (discussion • critères • liste • stats • hist. • comité • stats vues) |
Cet article ne comporte pas de liste de tâches suggérées. Vous pouvez saisir une liste de tâches à accomplir (par exemple sous forme d'une liste à puces), puis sauvegarder. Vous pouvez aussi consulter la page d'aide.
Attention cet article mélange un peut tout. Il faudrait préciser qu'on parle de crypto.
Outs 17 avril 2007 à 12:16 (CEST)
- Après vérification, je me déclare incompétent sur ce sujet -_-' Outs (d) 29 mai 2009 à 20:17 (CEST)
Traductions
modifierTraduire completeness par consistance me parait être un contresens. D'autre part, je traduirais soundness par correction et pas par solidité, car ce n'est pas canonique. Pierre de Lyon (d) 2 mai 2009 à 18:10 (CEST)