Discussion:Fondements univalents
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[modifier le code]
Bonjour, 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)