Explore projects
-
Updated
-
Updated
-
Paquet LaTeX pour l'utilisation des fontes InriaSans et InriaSerif dans les documents générés.
Updated -
Updated
-
Updated
-
Updated
-
Présentation des commandes « guix time-machine » et « guix describe » le 28 mai 2024
Updated -
Gabarit de style pour les présentations beamer adapté pour la charte graphique Inria 2024.
Updated -
-
Updated
-
Updated
-
-
-
Updated
-
Updated