Différences
Ci-dessous, les différences entre deux révisions de la page.
Les deux révisions précédentes Révision précédente | Prochaine révision Les deux révisions suivantes | ||
fr:research:fssp [2018/03/07 13:44] apeiron actualisation Coq et LaTeX |
fr:research:fssp [2018/03/17 13:17] apeiron |
||
---|---|---|---|
Ligne 3: | Ligne 3: | ||
====== Versions ====== | ====== Versions ====== | ||
- | Pour l'instant nous n'avons implémenté {{ :fr:research:fssp-coq-13.rar |en Coq}} que les résultats préliminaires, qui nous ont servi à déterminer à quel point les preuves devaient être détaillées pour être ensuite implémentées le plus facilement possible. La preuve de la correction des champs infinis est quasiment terminée, voici la dernière version du {{ :fr:research:fssp-report-17.pdf |rapport technique}}. | + | Pour l'instant nous n'avons implémenté {{ :fr:research:fssp-coq-13.rar |en Coq}} que les résultats préliminaires, qui nous ont servi à déterminer à quel point les preuves devaient être détaillées pour être ensuite implémentées le plus facilement possible. La preuve de la correction des champs infinis est quasiment terminée, voici la dernière version du {{ :fr:research:fssp.pdf |rapport technique}}. |
====== Contexte du problème ====== | ====== Contexte du problème ====== |