Property |
Value |
dbo:abstract
|
- Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe PI.R2 de l’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). Le nom du logiciel (initialement CoC) est particulièrement adéquat car : il est français ; il est fondé sur le calcul des constructions (CoC abrégé en anglais) introduit par Thierry Coquand. Dans la même veine, son langage est Gallina et Coq possède un wiki dédié, baptisé Cocorico!. En 2013, Coq a été récompensé du Programming Languages Software Award par l'ACM SIGPLAN. Coq a reçu en 2022 le premier « prix science ouverte logiciel libre de la recherche » dans la catégorie « scientifique et technique ». (fr)
- Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe PI.R2 de l’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). Le nom du logiciel (initialement CoC) est particulièrement adéquat car : il est français ; il est fondé sur le calcul des constructions (CoC abrégé en anglais) introduit par Thierry Coquand. Dans la même veine, son langage est Gallina et Coq possède un wiki dédié, baptisé Cocorico!. En 2013, Coq a été récompensé du Programming Languages Software Award par l'ACM SIGPLAN. Coq a reçu en 2022 le premier « prix science ouverte logiciel libre de la recherche » dans la catégorie « scientifique et technique ». (fr)
|
dbo:award
| |
dbo:computingPlatform
| |
dbo:country
| |
dbo:developer
| |
dbo:language
| |
dbo:license
| |
dbo:publisher
| |
dbo:thumbnail
| |
dbo:type
| |
dbo:wikiPageExternalLink
| |
dbo:wikiPageID
| |
dbo:wikiPageLength
|
- 9106 (xsd:nonNegativeInteger)
|
dbo:wikiPageRevisionID
| |
dbo:wikiPageWikiLink
| |
prop-fr:couleurBoîte
| |
prop-fr:développeurs
| |
prop-fr:environnements
| |
prop-fr:langues
| |
prop-fr:licence
| |
prop-fr:logo
|
- Coq logo.png (fr)
- Coq logo.png (fr)
|
prop-fr:légende
|
- CoqIde : l'environnement de développement de Coq. (fr)
- CoqIde : l'environnement de développement de Coq. (fr)
|
prop-fr:politiqueDePrix
|
- Gratuit et open source (fr)
- Gratuit et open source (fr)
|
prop-fr:type
| |
prop-fr:wikiPageUsesTemplate
| |
dct:subject
| |
rdf:type
| |
rdfs:comment
|
- Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe PI.R2 de l’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). Le nom du logiciel (initialement CoC) est particulièrement adéquat car : il est français ; il est fondé sur le calcul des constructions (CoC abrégé en anglais) introduit par Thierry Coquand. Dans la même veine, son langage est Gallina et Coq possède un wiki dédié, baptisé Cocorico!. (fr)
- Coq est un assistant de preuve utilisant le langage Gallina, développé par l'équipe PI.R2 de l’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). Le nom du logiciel (initialement CoC) est particulièrement adéquat car : il est français ; il est fondé sur le calcul des constructions (CoC abrégé en anglais) introduit par Thierry Coquand. Dans la même veine, son langage est Gallina et Coq possède un wiki dédié, baptisé Cocorico!. (fr)
|
rdfs:label
|
- Coq (ja)
- Coq (zh)
- Coq (Software) (de)
- Coq (logiciel) (fr)
- Coq (ja)
- Coq (zh)
- Coq (Software) (de)
- Coq (logiciel) (fr)
|
rdfs:seeAlso
| |
owl:sameAs
| |
prov:wasDerivedFrom
| |
foaf:depiction
| |
foaf:isPrimaryTopicOf
| |
foaf:name
| |
is dbo:programmingLanguage
of | |
is dbo:wikiPageDisambiguates
of | |
is dbo:wikiPageRedirects
of | |
is dbo:wikiPageWikiLink
of | |
is prop-fr:implémentations
of | |
is prop-fr:langageDeProgrammation
of | |
is oa:hasTarget
of | |
is foaf:primaryTopic
of | |