Commit 8c42cb15 authored by MARCHE Claude's avatar MARCHE Claude

details

parent 6a62c33e
......@@ -62,6 +62,7 @@
* M1. preuve d'un petit compilateur, pas de pb de lieur,
eventuellement outils pour les preuves par recurrence
a la Leino, + fct size automatique
DONE (Stage M1 de Leon)
* M2. Lieur en Why3, POPLmark challenge. vers
un theorie et/ou un module réutilisable de lieurs
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment