Contributions de Nathan DAMPIED
Résultats de Nathan DAMPIED discuter journal des blocages téléversements journaux Journal des blocages globaux compte global journal des filtrages
Un utilisateur avec 6 modifications. Compte créé le 23 octobre 2019.
4 décembre 2019
- 17:064 décembre 2019 à 17:06 diff hist −3 m Théorie homotopique des types Correction de 'assistant d'épreuve' en 'assistance de preuve' Balises : Éditeur visuel Modification par mobile Modification par le web mobile
27 novembre 2019
- 08:2727 novembre 2019 à 08:27 diff hist 0 m Théorie homotopique des types Ajout d'une majuscule dans le titre du bouquin pour l'image de la couverture Balise : Éditeur visuel
- 08:1527 novembre 2019 à 08:15 diff hist +38 584 N Théorie homotopique des types Nouvelle page : {{DISPLAYTITLE:Théorie des types homotopiques}} Fichier:Hott_book_cover.png|vignette| Couverture de la ''Théorie des Types homotopiques: Fondations Univalentes des Mathématiq… Balise : Éditeur visuel : basculé
- 07:5627 novembre 2019 à 07:56 diff hist −841 m Utilisateur:Nathan DAMPIED/Théorie des types homotopiques Correction de la mise en forme et de la typographie, Correction de la mise en forme de la section "liens externes" et de la section "bibliographie" Balise : Éditeur visuel
- 07:3727 novembre 2019 à 07:37 diff hist +39 465 N Utilisateur:Nathan DAMPIED/Théorie des types homotopiques Créé en traduisant la page « Homotopy type theory » Balises : Traduction de contenu Traduction de contenu 2
23 octobre 2019
- 16:5123 octobre 2019 à 16:51 diff hist +49 N Utilisateur:Nathan DAMPIED Création de la page utilisateur actuelle Balises : Éditeur visuel Modification par mobile Modification par le web mobile