About: dbpedia-fr:Coq

Facets (new session)
Description
Metadata
Settings
- owl:sameAs
- Inference Rule:

About: dbpedia-fr:Coq_(logiciel) Goto Sponge NotDistinct Permalink

An Entity of Type : wikidata:Q7397, within Data Space : fr.dbpedia.org associated with source document(s)

Attributes	Values
rdf:type	Thing dbo:Software work schema:CreativeWork wikidata:Q386724 wikidata:Q7397
rdfs:label	Coq (ja) Coq (zh) Coq (Software) (de) Coq (logiciel) (fr)
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)
rdfs:seeAlso	https://github.com/coq https://commons.wikimedia.org/wiki/Category:Coq_(programming_language) https://ncatlab.org/nlab/show/Coq https://packages.debian.org/stable/coq https://www.archlinux.org/packages/coq https://www.archlinux.org/packages/coq-doc https://www.archlinux.org/packages/coqide https://www.openhub.net/p/coq https://www.quora.com/topic/Coq-proof-assistant https://framalibre.org/content/coq https://directory.fsf.org/wiki/Coq https://www.zhihu.com/topic/20008098 http://fileformats.archiveteam.org/wiki/Coq https://apps.fedoraproject.org/packages/coq https://packages.gentoo.org/packages/sci-mathematics/coq https://packages.ubuntu.com/coq
sameAs	dbr:Coq dbpedia-commons:Category:Coq_(programming_language) wikidata:Q1131652 dbpedia-de:Coq_(Software) dbpedia-el:Coq dbpedia-es:Coq dbpedia-fi:Coq dbpedia-ja:Coq dbpedia-pt:Coq dbpedia-ru:Coq dbpedia-uk:Coq dbpedia-zh:Coq http://dx.doi.org/10.5281/ZENODO.1003420 http://babelnet.org/rdf/s03400740n http://g.co/kg/m/02s7zd
Wikipage page ID	86532 (xsd:integer)
Wikipage revision ID	191087028 (xsd:integer)
dbo:wikiPageWikiLink	category-fr:Théorie_de_la_démonstration dbpedia-fr:Anglais dbpedia-fr:Arithmétique_de_Presburger Proof assistant dbpedia-fr:Benjamin_Werner C (programming language) Calculus of constructions category-fr:Assistant_de_preuve category-fr:Logiciel_libre_sous_licence_LGPL category-fr:Théorie_des_types French National Centre for Scientific Research Backward chaining Christine Paulin-Mohring CompCert Conservatoire national des arts et métiers Curry–Howard correspondence dbpedia-fr:Démonstration_automatique_de_théorèmes Integrated development environment dbpedia-fr:Gallina Georges Gonthier dbpedia-fr:Gérard_Huet French Institute for Research in Computer Science and Automation Isabelle (proof assistant) Lambda calculus dbpedia-fr:Langage_de_programmation dbpedia-fr:Licence_publique_générale_limitée_GNU dbpedia-fr:Logiciel_libre dbpedia-fr:Logique_d'ordre_supérieur dbpedia-fr:OCaml Open-source model dbpedia-fr:PhoX_(logiciel) dbpedia-fr:Prototype_Verification_System SIGPLAN Thierry Coquand dbpedia-fr:Théorie_des_types dbpedia-fr:Théorème_de_Feit-Thompson Four color theorem Paris Diderot University Paris-Sud University École normale supérieure de Lyon École Polytechnique Mizar system dbpedia-fr:Oméga_(procédure_de_décision) dbpedia-fr:P_Hpair%5D
Link from a Wikipage to an external page	http://www.pps.univ-paris-diderot.fr/pi.r2/ http://coq.inria.fr/ http://www.pps.univ-paris-diderot.fr https://www.irif.fr/inria/pi.r2/index http://www.labri.fr/perso/casteran/CoqArt/coqartF.pdf http://coq.inria.fr/cocorico
page length (characters) of wiki page	9106 (xsd:nonNegativeInteger)
dct:subject	category-fr:Théorie_de_la_démonstration category-fr:Assistant_de_preuve category-fr:Logiciel_libre_sous_licence_LGPL category-fr:Théorie_des_types
foaf:name	(fr)

Faceted Search & Find service v1.16.111 as of Oct 19 2022

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3234 as of May 18 2022, on Linux (x86_64-ubuntu_bionic-linux-gnu), Single-Server Edition (39 GB total memory, 12 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software