hms/web
1
0
Fork 0
Code Activity Actions

feat: updated manpage

Browse source
This commit is contained in:
Henri Saudubray 2025-03-24 17:40:49 +01:00
parent abcddd228e
commit e7527e6627
Signed by: hms
GPG key ID: 7065F57ED8856128
1 changed files with 27 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

29
man.html
View file

@ -54,6 +54,20 @@
<div class="section" id="experience">
<div class="section-title">Experience</div>
<ul class="content">
<li>
<div class="title">
<a href="https://parkas.di.ens.fr">
INRIA, PARKAS Team</a>
- March to August 2025
</div>
<div class="description">
M2 Internship. Working on reproducibility and transparency of
assertions in the synchronous hybrid language
<a href="https://zelus.di.ens.fr">Z&#xE9;lus</a>.
Definition of a formal semantics for a multi-solver language
back-end.
</div>
</li>
<li>
<div class="title">
<a href="https://lmf.cnrs.fr">
@ -62,7 +76,8 @@
</div>
<div class="description">
M1 Internship. Added support for case analysis and proofs by
induction on inductive predicates in the Why3 framework.
induction on inductive predicates in the
<a href="https://www.why3.org">Why3</a> framework.
Translated a Coq proof to Why3 as a test.
</div>
</li>
@ -108,11 +123,21 @@
<div class="section" id="education">
<div class="section-title">Education</div>
<ul class="content">
<li>
<div class="title">
<a href="https://ens-paris-saclay.fr">
ENS Paris Saclay</a>
- September 2024 - March 2025
</div>
<div class="description">
Master Parisien de Recherche en Informatique (MPRI)
</div>
</li>
<li>
<div class="title">
<a href="https://www.sciences.universite-paris-saclay.fr">
Facult&#xE9; des Sciences - Universit&#xE9; Paris Saclay</a>
- Since September 2023
- September 2023 - March 2024
</div>
<div class="description">
Master Parisien de Recherche en Informatique (MPRI)