From 70de1ac2cdd2d1586b2f5c9f654d8ec417443aa9 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Tue, 7 May 2024 10:08:40 +0200 Subject: [PATCH] html entities and w3c --- index.html | 22 +++++++++++----------- 1 file changed, 11 insertions(+), 11 deletions(-) diff --git a/index.html b/index.html index d5792c1..139fb14 100644 --- a/index.html +++ b/index.html @@ -1,11 +1,11 @@ - - + + Henri Saudubray - + @@ -25,8 +25,8 @@
Synopsis
I am a computer science student at Parisian Master of Research in - Computer Science (MPRI) at Université Paris Saclay, focusing on formal - logic, proof assistants, and programming languages. + Computer Science (MPRI) at Université Paris Saclay, focusing on + formal logic, proof assistants, and programming languages.
@@ -35,7 +35,7 @@
  • - Laboratoire Méthodes Formelles, CNRS + Laboratoire Méthodes Formelles, CNRS - Since March 2024
    @@ -45,7 +45,7 @@
  • - Skapánê + Skapánê - September 2022 to August 2023
    @@ -84,7 +84,7 @@
  • - Faculté des Sciences - Université Paris Saclay + Faculté des Sciences - Université Paris Saclay - Since September 2023
    @@ -92,12 +92,12 @@
  • -
    +
    FGES - Université Catholique de Lille + >FGES - Université Catholique de Lille - September 2020 to May 2023
    -
    Licence Sciences du Numérique (SDN)
    +
    Licence Sciences du Numérique (SDN)