Wikipédia en français - L'encyclopé...
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é
.