Matches in DBpedia 2016-04 for { <http://dbpedia.org/resource/Coq> ?p ?o }
- 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 latestReleaseVersion "8.5".
- 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 coq.inria.fr.
- Coq wikiPageExternalLink coq.
- Coq wikiPageExternalLink math-comp.
- Coq wikiPageID "581974".
- Coq wikiPageLength "10618".
- Coq wikiPageOutDegree "88".
- Coq wikiPageRevisionID "705975975".
- Coq wikiPageWikiLink ACM_Software_System_Award.
- Coq wikiPageWikiLink Agda_(programming_language).
- Coq wikiPageWikiLink Albatross_(programming_language).
- Coq wikiPageWikiLink Andrej_Bauer.
- Coq wikiPageWikiLink Andrew_Appel.
- Coq wikiPageWikiLink Association_for_Computing_Machinery.
- Coq wikiPageWikiLink Automated_theorem_proving.
- Coq wikiPageWikiLink Automath.
- Coq wikiPageWikiLink Benjamin_C._Pierce.
- Coq wikiPageWikiLink Benjamin_Werner.
- Coq wikiPageWikiLink C_(programming_language).
- Coq wikiPageWikiLink Calculus_of_constructions.
- Coq wikiPageWikiLink Cambridge.
- Coq wikiPageWikiLink Category:Dependently_typed_languages.
- Coq wikiPageWikiLink Category:Educational_math_software.
- Coq wikiPageWikiLink Category:Free_software_programmed_in_OCaml.
- Coq wikiPageWikiLink Category:Free_theorem_provers.
- Coq wikiPageWikiLink Category:Functional_languages.
- Coq wikiPageWikiLink Category:Large-scale_mathematical_formalization_projects.
- Coq wikiPageWikiLink Category:OCaml_software.
- Coq wikiPageWikiLink Category:Programming_languages_created_in_the_20th_century.
- Coq wikiPageWikiLink Category:Proof_assistants.
- Coq wikiPageWikiLink CeCILL.
- Coq wikiPageWikiLink Centre_national_de_la_recherche_scientifique.
- Coq wikiPageWikiLink CompCert.
- Coq wikiPageWikiLink Computer_science.
- Coq wikiPageWikiLink Constructive_proof.
- Coq wikiPageWikiLink Cross-platform.
- Coq wikiPageWikiLink Curry–Howard_correspondence.
- Coq wikiPageWikiLink Dependent_type.
- Coq wikiPageWikiLink Disjoint-set_data_structure.
- Coq wikiPageWikiLink England.
- Coq wikiPageWikiLink Feit–Thompson_theorem.
- Coq wikiPageWikiLink Four_color_theorem.
- Coq wikiPageWikiLink French_Institute_for_Research_in_Computer_Science_and_Automation.
- Coq wikiPageWikiLink French_language.
- Coq wikiPageWikiLink Functional_programming.
- Coq wikiPageWikiLink GNU_Lesser_General_Public_License.
- Coq wikiPageWikiLink Georges_Gonthier.
- Coq wikiPageWikiLink GitHub.
- Coq wikiPageWikiLink Gérard_Huet.
- Coq wikiPageWikiLink Halting_problem.
- Coq wikiPageWikiLink Hen.
- Coq wikiPageWikiLink Higher-order_logic.
- Coq wikiPageWikiLink Idris_(programming_language).
- Coq wikiPageWikiLink Institute_for_Advanced_Study.
- Coq wikiPageWikiLink Intuitionistic_type_theory.
- Coq wikiPageWikiLink LEGO_(proof_assistant).
- Coq wikiPageWikiLink Logic_for_Computable_Functions.
- Coq wikiPageWikiLink ML_(programming_language).
- Coq wikiPageWikiLink Mathematics.
- Coq wikiPageWikiLink Matita.
- Coq wikiPageWikiLink Microsoft_Research.
- Coq wikiPageWikiLink Non-surveyable_proof.
- Coq wikiPageWikiLink Normalization_property_(abstract_rewriting).
- Coq wikiPageWikiLink OCaml.
- Coq wikiPageWikiLink Paris_Diderot_University.
- Coq wikiPageWikiLink Plug-in_(computing).
- Coq wikiPageWikiLink Proof_assistant.
- Coq wikiPageWikiLink Rooster.
- Coq wikiPageWikiLink Strong_and_weak_typing.
- Coq wikiPageWikiLink System_F.
- Coq wikiPageWikiLink Tactic_(theorem_proving).
- Coq wikiPageWikiLink Thierry_Coquand.
- Coq wikiPageWikiLink Type_system.
- Coq wikiPageWikiLink Type_theory.
- Coq wikiPageWikiLink University_of_Paris-Sud.
- Coq wikiPageWikiLink Wikt:coq.
- Coq wikiPageWikiLink École_Polytechnique.
- Coq wikiPageWikiLink École_normale_supérieure_de_Lyon.
- Coq wikiPageWikiLink File:Coq_8.5_stdlib_proof.png.
- Coq wikiPageWikiLink File:Coq_logo.png.
- Coq wikiPageWikiLinkText "Coq (Gallina)".
- Coq wikiPageWikiLinkText "Coq".
- Coq wikiPageWikiLinkText "coq".