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!.

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
  • 86532 (xsd:integer)
dbo:wikiPageLength
  • 9106 (xsd:nonNegativeInteger)
dbo:wikiPageRevisionID
  • 191087028 (xsd:integer)
dbo:wikiPageWikiLink
prop-fr:couleurBoîte
  • CBA275 (fr)
  • CBA275 (fr)
prop-fr:développeurs
prop-fr:environnements
  • - (fr)
  • - (fr)
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
  • (fr)
  • (fr)
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