Discussion:Fondements univalents
Dernier commentaire : il y a 6 ans par Olivier Lambron dans le sujet Ceci est une première traduction de la page Wikipédia en anglais
Autres discussions [liste]
- Admissibilité
- Neutralité
- Droit d'auteur
- Article de qualité
- Bon article
- Lumière sur
- À faire
- Archives
- Commons
Tout ou partie de cet article est issu de la traduction de l'article sous licence CC-BY-SA « (en) Univalent foundations » dans sa version du 24/11/2017.
Consultez l'historique de la page originale pour connaître la liste de ses auteurs.
Ceci est une première traduction de la page Wikipédia en anglais
modifierBonjour, je soumets cette première traduction. N'étant pas expert du domaine et ayant trouvé peu d'articles en français sur le sujet, j'ai quelques hésitations sur certains points de la traduction. Par exemple, j'ai gardé de l'anglais dans les expressions "types de h-level 0,1,2". Une relecture par un expert francophone du domaine serait bienvenue, merci d'avance pour vos corrections et contributions. --Olivier Lambron (discuter) 10 décembre 2017 à 00:08 (CET)