From f5fa4a1748e5f08bd2a58b62c8dc6c09c8223407 Mon Sep 17 00:00:00 2001 From: Henri Saudubray Date: Fri, 12 Jul 2024 19:56:30 +0200 Subject: [PATCH] feat (man): update m1 internship date and add report --- man.html | 9 +++++---- pdf/m1_report.pdf | Bin 0 -> 275451 bytes 2 files changed, 5 insertions(+), 4 deletions(-) create mode 100644 pdf/m1_report.pdf diff --git a/man.html b/man.html index 40db21d..b430686 100644 --- a/man.html +++ b/man.html @@ -36,11 +36,12 @@
Laboratoire Méthodes Formelles, CNRS - - Since March 2024 + - March to July 2024
- Adding support for proofs on inductive predicates in the Why3 - framework. + Added support for proofs on inductive predicates in the Why3 + framework.
+ /pdf/m1_report.pdf
  • @@ -108,7 +109,7 @@