 |
Coq (logiciel)
| Wikipédia en français - L'encyclopédie libre | Download this dictionary |
Coq (logiciel)
Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe PI.R2]d'Inria au sein du laboratoire PPS]du CNRS et en partenariat avec l'École polytechnique, le CNAM, l'Université Paris Diderot et l'Université Paris-Sud (et antérieurement l'École normale supérieure de Lyon).
| Pour la suite, voir Wikipédia.org… |
© Cet article se sert du contenu de Wikipédia® et est autorisé sous les termes de la Licence de Documentation libre GNU et est distribué sous les termes de la licence Creative Commons Paternité-Partage des Conditions Initiales à l'Identique 3.0 non transposé.
