hms/web
1
0
Fork 0
Code Activity Actions

fix: dash in upsaclay name, added link to [lambda]

Browse source
This commit is contained in:
Henri Saudubray 2025-10-03 17:15:37 +02:00
parent c6e334ddf7
commit 0aaa689ca2
Signed by: hms
GPG key ID: 7065F57ED8856128
1 changed files with 4 additions and 3 deletions
Download patch file Download diff file Expand all files Collapse all files

7
man.html
View file

@ -64,7 +64,7 @@
<div class="title"> <div class="title">
<a href="https://lmf.cnrs.fr"> <a href="https://lmf.cnrs.fr">
Laboratoire M&#xE9;thodes Formelles, Laboratoire M&#xE9;thodes Formelles,
Universit&#xE9; Paris Saclay</a> Universit&#xE9; Paris-Saclay</a>
- Since October 2025 - Since October 2025
</div> </div>
<div class="description"> <div class="description">
@ -99,7 +99,8 @@
M1 Internship. Added support for case analysis and proofs by M1 Internship. Added support for case analysis and proofs by
induction on inductive predicates in the induction on inductive predicates in the
<a href="https://www.why3.org">Why3</a> platform. <a href="https://www.why3.org">Why3</a> platform.
Translated a Coq proof to Why3 as a test. Translated a <a href="https://codeberg.org/17maiga/lambda">
Coq proof to Why3</a> as a test.
</div> </div>
</li> </li>
<li> <li>
@ -226,7 +227,7 @@
</div> </div>
</main> </main>
<footer> <footer>
<span>1.4.0</span> <span>1.4.1</span>
<span>2025-10-03&nbsp;</span> <span>2025-10-03&nbsp;</span>
<span>HENRI(1)</span> <span>HENRI(1)</span>
</footer> </footer>