hms/web
1
0
Fork 0
Code Activity Actions

feat (man): update m1 internship date and add report

Browse source
This commit is contained in:
Henri Saudubray 2024-07-12 19:56:30 +02:00
parent b34cef4dcd
commit f5fa4a1748
Signed by: hms
GPG key ID: 7065F57ED8856128
2 changed files with 5 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

9
man.html
View file

@ -36,11 +36,12 @@
<div class="title">
<a href="https://lmf.cnrs.fr">
Laboratoire M&#xE9;thodes Formelles, CNRS</a>
- Since March 2024
- March to July 2024
</div>
<div class="description">
Adding support for proofs on inductive predicates in the Why3
framework.
Added support for proofs on inductive predicates in the Why3
framework.<br>
<a href="./pdf/m1_report.pdf">/pdf/m1_report.pdf</a>
</div>
</li>
<li>
@ -108,7 +109,7 @@
<ul class="content">
<li>
<div class="title">
<a href="https://henri-saudubray.fr/pdf/cv.pdf">/pdf/cv.pdf</a>
<a href="./pdf/cv.pdf">/pdf/cv.pdf</a>
</div>
<div class="description">Curriculum Vitae.</div>
</li>