Matches in DBpedia 2015-04 for { <http://dbpedia.org/resource/Coq> ?p ?o }
Showing triples 1 to 98 of
98
with 100 triples per page.
- Coq abstract "In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions. Coq is not an automated theorem prover but includes automatic theorem proving tactics and various decision procedures.The Association for Computing Machinery presented Coquand, Huet, Paulin-Mohring, Barras, Filliâtre, Herbelin, Murthy, Bertot, Castéran with the 2013 ACM Software System Award for Coq.".
- Coq genre Proof_assistant.
- Coq influenced Agda_(programming_language).
- Coq influenced Matita.
- Coq influencedBy Automath.
- Coq influencedBy Intuitionistic_type_theory.
- Coq influencedBy Logic_for_Computable_Functions.
- Coq influencedBy ML_(programming_language).
- Coq influencedBy System_F.
- Coq latestReleaseVersion "8.4pl5".
- Coq license GNU_Lesser_General_Public_License.
- Coq operatingSystem Cross-platform.
- Coq programmingLanguage OCaml.
- Coq status "Active".
- Coq thumbnail Coq_logo.png?width=300.
- Coq wikiPageExternalLink cpdt.
- Coq wikiPageExternalLink coq.inria.fr.
- Coq wikiPageExternalLink cocorico.
- Coq wikiPageExternalLink corn.cs.ru.nl.
- Coq wikiPageExternalLink 1979.
- Coq wikiPageExternalLink math-classes.org.
- Coq wikiPageExternalLink video-tutorials-for-the-coq-proof-assistant.
- Coq wikiPageExternalLink appel.
- Coq wikiPageExternalLink sf.
- Coq wikiPageExternalLink index.html.
- Coq wikiPageExternalLink math-components.
- Coq wikiPageExternalLink coq.
- Coq wikiPageID "581974".
- Coq wikiPageRevisionID "645320980".
- Coq developer "The Coq development team".
- Coq dialects LEGO_(proof_assistant).
- Coq fileExt ".v".
- Coq genre Proof_assistant.
- Coq hasPhotoCollection Coq.
- Coq influenced Agda_(programming_language).
- Coq influenced Matita.
- Coq influencedBy "ML , LCF , Automath , System F and intuitionistic type theory".
- Coq language "English".
- Coq latestReleaseVersion "8.4".
- Coq license "LGPL 2.1".
- Coq logo File:Coq_logo.png.
- Coq name "Coq".
- Coq operatingSystem Cross-platform.
- Coq paradigm "Functional".
- Coq programmingLanguage OCaml.
- Coq status "Active".
- Coq turingComplete "No".
- Coq typing Strong_and_weak_typing.
- Coq typing Type_system.
- Coq year "1984".
- Coq subject Category:Dependently_typed_languages.
- Coq subject Category:Educational_math_software.
- Coq subject Category:Free_software_programmed_in_OCaml.
- Coq subject Category:Free_theorem_provers.
- Coq subject Category:Functional_languages.
- Coq subject Category:Large-scale_mathematical_formalization_projects.
- Coq subject Category:OCaml_software.
- Coq subject Category:Programming_languages_created_in_the_20th_century.
- Coq subject Category:Proof_assistants.
- Coq type Abstraction100002137.
- Coq type ArtificialLanguage106894544.
- Coq type Communication100033020.
- Coq type DependentlyTypedLanguages.
- Coq type FunctionalLanguages.
- Coq type Language106282651.
- Coq type ProgrammingLanguage106898352.
- Coq type ProgrammingLanguagesCreatedInThe20thCentury.
- Coq type ProgrammingLanguage.
- Coq type Software.
- Coq type Work.
- Coq type CreativeWork.
- Coq type InformationEntity.
- Coq type Thing.
- Coq type Q386724.
- Coq type Q7397.
- Coq type Q9143.
- Coq comment "In computer science, Coq is an interactive theorem prover. It allows the expression of mathematical assertions, mechanically checks proofs of these assertions, helps to find formal proofs, and extracts a certified program from the constructive proof of its formal specification. Coq works within the theory of the calculus of inductive constructions, a derivative of the calculus of constructions.".
- Coq label "Coq (Software)".
- Coq label "Coq (logiciel)".
- Coq label "Coq".
- Coq label "Coq".
- Coq label "Coq".
- Coq label "Coq".
- Coq sameAs Coq_(Software).
- Coq sameAs Coq.
- Coq sameAs Coq.
- Coq sameAs Coq_(logiciel).
- Coq sameAs Coq.
- Coq sameAs m.02s7zd.
- Coq sameAs Q1131652.
- Coq sameAs Q1131652.
- Coq sameAs Coq.
- Coq wasDerivedFrom Coq?oldid=645320980.
- Coq depiction Coq_logo.png.
- Coq homepage coq.inria.fr.
- Coq isPrimaryTopicOf Coq.
- Coq name "Coq (programming language)".
- Coq name "Coq (software)".