Ce n'est pas “le compilateur formellement vérifié de l'INRIA” de trois manières différentes : c'est “Inria” et “d'Inria”, et c'est le compilateur certifié d'un chercheur d'Inria.
-
-
-
Je ne comprends pas ta réponse. Le projet est hébergé sur compcert[.]inria[.]fr depuis les origines (2008). C'est une équipe de recherche qui travaille en sous-marin, sans l'accord de leur direction ?
- 7 more replies
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.