1
0
Fork 0

html entities and w3c

This commit is contained in:
Henri Saudubray 2024-05-07 10:08:40 +02:00
parent 9424969c92
commit 70de1ac2cd

View file

@ -1,11 +1,11 @@
<!DOCTYPE html>
<html lang="en">
<head>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8"/>
<link rel="stylesheet" type="text/css" href="./css/style.css?version=3"/>
<meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
<link rel="stylesheet" type="text/css" href="./css/style.css?version=3">
<title>Henri Saudubray</title>
<meta name="description" content="Etudiant en M1 MPRI">
<meta name="viewport" content="width=device-width, initial-scale=1.0"/>
<meta name="viewport" content="width=device-width, initial-scale=1.0">
<script src="./js/man.js"></script>
</head>
<body>
@ -25,8 +25,8 @@
<div class="section-title">Synopsis</div>
<div class="content">
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&#xE9; Paris Saclay, focusing on
formal logic, proof assistants, and programming languages.
</div>
</div>
<div class="section" id="experience">
@ -35,7 +35,7 @@
<li>
<div class="title">
<a href="https://lmf.cnrs.fr">
Laboratoire Méthodes Formelles, CNRS</a>
Laboratoire M&#xE9;thodes Formelles, CNRS</a>
- Since March 2024
</div>
<div class="description">
@ -45,7 +45,7 @@
</li>
<li>
<div class="title">
<a href="https://skapane.ai">Skapánê</a>
<a href="https://skapane.ai">Skap&#xE1;n&#xEA;</a>
- September 2022 to August 2023
</div>
<div class="description">
@ -84,7 +84,7 @@
<li>
<div class="title">
<a href="https://www.sciences.universite-paris-saclay.fr">
Faculté des Sciences - Université Paris Saclay</a>
Facult&#xE9; des Sciences - Universit&#xE9; Paris Saclay</a>
- Since September 2023
</div>
<div class="description">
@ -92,12 +92,12 @@
</div>
</li>
<li>
<div class=title">
<div class="title">
<a href="https://www.fges.fr"
>FGES - Université Catholique de Lille</a>
>FGES - Universit&#xE9; Catholique de Lille</a>
- September 2020 to May 2023
</div>
<div class="description">Licence Sciences du Numérique (SDN)</div>
<div class="description">Licence Sciences du Num&#xE9;rique (SDN)</div>
</li>
</ul>
</div>