hms/web
1
0
Fork 0
Code Activity Actions

feat: added jfla article

Browse source
This commit is contained in:
Henri Saudubray 2024-12-17 19:49:24 +01:00
parent 87ae2c5fd3
commit 631dd251c7
Signed by: hms
GPG key ID: 7065F57ED8856128
2 changed files with 27 additions and 5 deletions
Download patch file Download diff file Expand all files Collapse all files

32
man.html
View file

@ -29,6 +29,28 @@
formal logic, proof assistants, and programming languages.
</div>
</div>
<div class="publications" id="publications">
<div class="section-title">Publications</div>
<ul class="content">
<li>
<div class="title">
<a href="./pdf/articles/jfla-2025.pdf">
/pdf/articles/jfla-2025.pdf
</a>
</div>
<div class="description">
"Faire chauffer Why3 avec de l'induction".
<br>
Describes the addition of a new construct to the WhyML language
allowing for case analysis on inductive predicate instances.
<br>
Written with <a href="https://usr.lmf.cnrs.fr/~jcf/index.fr.html">
Jean-Christophe Filliâtre
</a> and <a href="http://www.tertium.org/">Andrei Paskevich</a>.
</div>
</li>
</ul>
</div>
<div class="section" id="experience">
<div class="section-title">Experience</div>
<ul class="content">
@ -50,7 +72,7 @@
- September 2022 to August 2023
</div>
<div class="description">
L2 Traineeship. Back-end development on containerized
L3 Traineeship. Back-end development on containerized
infrastructure in Python. Web app design with React.js, Flask and
Docker.
</div>
@ -130,8 +152,8 @@
<ul class="content">
<li>
<div class="title">
<a href="mailto:henri.saudubray@universite-paris-saclay.fr"
>henri.saudubray[at]universite-paris-saclay[dot]fr</a>
<a href="mailto:henri.saudubray@proton.me"
>henri.saudubray[at]proton[dot]me</a>
</div>
<div class="description">Email address.</div>
</li>
@ -152,8 +174,8 @@
</div>
</main>
<footer>
<span>1.1.0</span>
<span>2024-07-12&nbsp;</span>
<span>1.2.0</span>
<span>2024-12-17&nbsp;</span>
<span>HENRI(1)</span>
</footer>
</body>