Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Coq> }
Showing triples 1 to 78 of
78
with 100 triples per page.
- Mizar_system influenced Coq.
- Agda_(programming_language) influencedBy Coq.
- Albatross_(programming_language) influencedBy Coq.
- Idris_(programming_language) influencedBy Coq.
- COQ wikiPageRedirects Coq.
- Coq_(proof_assistant) wikiPageRedirects Coq.
- Coq_project wikiPageRedirects Coq.
- Coq_proof_assistant wikiPageRedirects Coq.
- ACM_Software_System_Award wikiPageWikiLink Coq.
- ALF_(proof_assistant) wikiPageWikiLink Coq.
- Agda_(programming_language) wikiPageWikiLink Coq.
- Albatross_(programming_language) wikiPageWikiLink Coq.
- Alphabetical_list_of_filename_extensions_(S–Z) wikiPageWikiLink Coq.
- Automated_reasoning wikiPageWikiLink Coq.
- Axiom_(computer_algebra_system) wikiPageWikiLink Coq.
- COQ wikiPageWikiLink Coq.
- Calculus_of_constructions wikiPageWikiLink Coq.
- Classification_of_finite_simple_groups wikiPageWikiLink Coq.
- Cock wikiPageWikiLink Coq.
- Cog wikiPageWikiLink Coq.
- CompCert wikiPageWikiLink Coq.
- Coq_(proof_assistant) wikiPageWikiLink Coq.
- Coq_project wikiPageWikiLink Coq.
- Coq_proof_assistant wikiPageWikiLink Coq.
- Corecursion wikiPageWikiLink Coq.
- Curry–Howard_correspondence wikiPageWikiLink Coq.
- Dependent_type wikiPageWikiLink Coq.
- Disjoint-set_data_structure wikiPageWikiLink Coq.
- Feit–Thompson_theorem wikiPageWikiLink Coq.
- Finger_tree wikiPageWikiLink Coq.
- First-class_citizen wikiPageWikiLink Coq.
- Formal_verification wikiPageWikiLink Coq.
- Four_color_theorem wikiPageWikiLink Coq.
- Frama-C wikiPageWikiLink Coq.
- French_Institute_for_Research_in_Computer_Science_and_Automation wikiPageWikiLink Coq.
- Functional_programming wikiPageWikiLink Coq.
- Generalized_algebraic_data_type wikiPageWikiLink Coq.
- George_Necula wikiPageWikiLink Coq.
- Georges_Gonthier wikiPageWikiLink Coq.
- Gxc3xb6dels_incompleteness_theorems wikiPageWikiLink Coq.
- Gérard_Huet wikiPageWikiLink Coq.
- Halting_problem wikiPageWikiLink Coq.
- Homotopy_type_theory wikiPageWikiLink Coq.
- Idris_(programming_language) wikiPageWikiLink Coq.
- Inductive_type wikiPageWikiLink Coq.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Coq.
- Intuitionistic_type_theory wikiPageWikiLink Coq.
- Java_Modeling_Language wikiPageWikiLink Coq.
- LTAC wikiPageWikiLink Coq.
- List_of_mathematical_logic_topics wikiPageWikiLink Coq.
- List_of_programming_languages wikiPageWikiLink Coq.
- List_of_programming_languages_by_type wikiPageWikiLink Coq.
- Matita wikiPageWikiLink Coq.
- Mizar_system wikiPageWikiLink Coq.
- OCaml wikiPageWikiLink Coq.
- Option_type wikiPageWikiLink Coq.
- POPLmark_challenge wikiPageWikiLink Coq.
- Per_Martin-Löf wikiPageWikiLink Coq.
- Predicate_transformer_semantics wikiPageWikiLink Coq.
- Presburger_arithmetic wikiPageWikiLink Coq.
- Proof_assistant wikiPageWikiLink Coq.
- QED_manifesto wikiPageWikiLink Coq.
- Realizability wikiPageWikiLink Coq.
- SIGPLAN wikiPageWikiLink Coq.
- Separation_logic wikiPageWikiLink Coq.
- Setoid wikiPageWikiLink Coq.
- Termination_analysis wikiPageWikiLink Coq.
- Thierry_Coquand wikiPageWikiLink Coq.
- Timeline_of_programming_languages wikiPageWikiLink Coq.
- Twelf wikiPageWikiLink Coq.
- Type_class wikiPageWikiLink Coq.
- Type_theory wikiPageWikiLink Coq.
- Univalent_foundations wikiPageWikiLink Coq.
- Xavier_Leroy wikiPageWikiLink Coq.
- Agda_(programming_language) influencedBy Coq.
- Albatross_(programming_language) influencedBy Coq.
- Idris_(programming_language) influencedBy Coq.
- Coq primaryTopic Coq.