hms/web
1
0
Fork 0
Code Activity Actions

feat (man): version and content update

Browse source
This commit is contained in:
Henri Saudubray 2024-07-12 20:31:30 +02:00
parent f5fa4a1748
commit 95ea5478e8
Signed by: hms
GPG key ID: 7065F57ED8856128
1 changed files with 22 additions and 12 deletions
Download patch file Download diff file Expand all files Collapse all files

34
man.html
View file

@ -39,9 +39,9 @@
- March to July 2024 - March to July 2024
</div> </div>
<div class="description"> <div class="description">
Added support for proofs on inductive predicates in the Why3 M1 Internship. Added support for case analysis and proofs by
framework.<br> induction on inductive predicates in the Why3 framework.
<a href="./pdf/m1_report.pdf">/pdf/m1_report.pdf</a> Translated a Coq proof to Why3 as a test.
</div> </div>
</li> </li>
<li> <li>
@ -50,8 +50,9 @@
- September 2022 to August 2023 - September 2022 to August 2023
</div> </div>
<div class="description"> <div class="description">
Back-end development on containerized infrastructure in Python. L2 Traineeship. Back-end development on containerized
Web app design with React.js, Flask and Docker. infrastructure in Python. Web app design with React.js, Flask and
Docker.
</div> </div>
</li> </li>
<li> <li>
@ -60,13 +61,16 @@
- May to August 2022 - May to August 2022
</div> </div>
<div class="description"> <div class="description">
Development of an automated end-to-end testing tool and ISO 20022 L2 Internship. Development of an automated end-to-end testing tool
file format converter for CDC's banking infrastructure in Java. and ISO 20022 file format converter for CDC's banking
infrastructure in Java.
</div> </div>
</li> </li>
<li> <li>
<div class="title">Ac'Lab - August 2021 - May 2022</div> <div class="title">Ac'Lab - August 2021 - May 2022</div>
<div class="description">Vice-Treasurer and Teaching Lead.</div> <div class="description">
Association. Vice-Treasurer and Teaching Lead.
</div>
</li> </li>
<li> <li>
<div class="title"> <div class="title">
@ -74,8 +78,8 @@
- May to August 2021 - May to August 2021
</div> </div>
<div class="description"> <div class="description">
Work on customer insight and customer journey. Deployment of an L1 Internship. Work on customer insight and customer journey.
in-house iOS application. Deployment of an in-house iOS application.
</div> </div>
</ul> </ul>
</div> </div>
@ -113,6 +117,12 @@
</div> </div>
<div class="description">Curriculum Vitae.</div> <div class="description">Curriculum Vitae.</div>
</li> </li>
<li>
<div class="title">
<a href="./pdf/m1_report.pdf">/pdf/m1_report.pdf</a>
</div>
<div class="description">Report for M1 Internship.</div>
</li>
</ul> </ul>
</div> </div>
<div class="section" id="see_also"> <div class="section" id="see_also">
@ -142,8 +152,8 @@
</div> </div>
</main> </main>
<footer> <footer>
<span>1.0.0</span> <span>1.1.0</span>
<span>2024-05-06&nbsp;</span> <span>2024-07-12&nbsp;</span>
<span>HENRI(1)</span> <span>HENRI(1)</span>
</footer> </footer>
</body> </body>