Coq
Il y a 9 années
"Démocratiser les assistants de preuve"
Publié sur Inria, le 10/02/2015 |
Il y a 9 années
"Démocratiser les assistants de preuve"
Publié sur Inria, le 10/02/2015 |