Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Proof_assistant> }
Showing triples 1 to 82 of
82
with 100 triples per page.
- Coq genre Proof_assistant.
- Interactive_proof_assistant wikiPageRedirects Proof_assistant.
- Interactive_theorem_prover wikiPageRedirects Proof_assistant.
- Interactive_theorem_proving wikiPageRedirects Proof_assistant.
- Interactive_theorem_proving_software wikiPageRedirects Proof_assistant.
- List_of_proof_assistants wikiPageRedirects Proof_assistant.
- Proof_assistants wikiPageRedirects Proof_assistant.
- Proof_assitants wikiPageRedirects Proof_assistant.
- Proof_editor wikiPageRedirects Proof_assistant.
- Proof_script wikiPageRedirects Proof_assistant.
- ALF_(proof_assistant) wikiPageWikiLink Proof_assistant.
- ATS_(programming_language) wikiPageWikiLink Proof_assistant.
- Alloy_Analyzer wikiPageWikiLink Proof_assistant.
- Automated_proof_checking wikiPageWikiLink Proof_assistant.
- Automated_reasoning wikiPageWikiLink Proof_assistant.
- Automated_theorem_proving wikiPageWikiLink Proof_assistant.
- Automath wikiPageWikiLink Proof_assistant.
- Backward_chaining wikiPageWikiLink Proof_assistant.
- Blakers–Massey_theorem wikiPageWikiLink Proof_assistant.
- Calculus_of_constructions wikiPageWikiLink Proof_assistant.
- Classification_of_finite_simple_groups wikiPageWikiLink Proof_assistant.
- Computer-assisted_proof wikiPageWikiLink Proof_assistant.
- Coq wikiPageWikiLink Proof_assistant.
- De_Bruijn_index wikiPageWikiLink Proof_assistant.
- Dependent_type wikiPageWikiLink Proof_assistant.
- Disjoint-set_data_structure wikiPageWikiLink Proof_assistant.
- Drinker_paradox wikiPageWikiLink Proof_assistant.
- F*_(programming_language) wikiPageWikiLink Proof_assistant.
- Feit–Thompson_theorem wikiPageWikiLink Proof_assistant.
- First-order_logic wikiPageWikiLink Proof_assistant.
- Formal_proof wikiPageWikiLink Proof_assistant.
- Formalism_(mathematics) wikiPageWikiLink Proof_assistant.
- Four_color_theorem wikiPageWikiLink Proof_assistant.
- Frama-C wikiPageWikiLink Proof_assistant.
- French_Institute_for_Research_in_Computer_Science_and_Automation wikiPageWikiLink Proof_assistant.
- Functional_programming wikiPageWikiLink Proof_assistant.
- Georges_Gonthier wikiPageWikiLink Proof_assistant.
- Gxc3xb6dels_ontological_proof wikiPageWikiLink Proof_assistant.
- HOL_(proof_assistant) wikiPageWikiLink Proof_assistant.
- HOL_Light wikiPageWikiLink Proof_assistant.
- History_of_type_theory wikiPageWikiLink Proof_assistant.
- Homotopy_type_theory wikiPageWikiLink Proof_assistant.
- Idris_(programming_language) wikiPageWikiLink Proof_assistant.
- Interactive_Theorem_Proving_(conference) wikiPageWikiLink Proof_assistant.
- Interactive_proof wikiPageWikiLink Proof_assistant.
- Interactive_proof_assistant wikiPageWikiLink Proof_assistant.
- Interactive_theorem_prover wikiPageWikiLink Proof_assistant.
- Interactive_theorem_proving wikiPageWikiLink Proof_assistant.
- Interactive_theorem_proving_software wikiPageWikiLink Proof_assistant.
- IsaPlanner wikiPageWikiLink Proof_assistant.
- Isabelle_(proof_assistant) wikiPageWikiLink Proof_assistant.
- Jape_(software) wikiPageWikiLink Proof_assistant.
- Jeremy_Avigad wikiPageWikiLink Proof_assistant.
- LEGO_(proof_assistant) wikiPageWikiLink Proof_assistant.
- List_of_proof_assistants wikiPageWikiLink Proof_assistant.
- MINLOG wikiPageWikiLink Proof_assistant.
- Matita wikiPageWikiLink Proof_assistant.
- Michael_Fourman wikiPageWikiLink Proof_assistant.
- Mizar_system wikiPageWikiLink Proof_assistant.
- Normalisation_by_evaluation wikiPageWikiLink Proof_assistant.
- Nuprl wikiPageWikiLink Proof_assistant.
- Philosophy_of_mathematics wikiPageWikiLink Proof_assistant.
- PhoX wikiPageWikiLink Proof_assistant.
- Predicate_transformer_semantics wikiPageWikiLink Proof_assistant.
- Proof_assistants wikiPageWikiLink Proof_assistant.
- Proof_assitants wikiPageWikiLink Proof_assistant.
- Proof_compression wikiPageWikiLink Proof_assistant.
- Proof_editor wikiPageWikiLink Proof_assistant.
- Proof_script wikiPageWikiLink Proof_assistant.
- Proof_theory wikiPageWikiLink Proof_assistant.
- QED_manifesto wikiPageWikiLink Proof_assistant.
- Realizability wikiPageWikiLink Proof_assistant.
- SIGPLAN wikiPageWikiLink Proof_assistant.
- Theorem_prover wikiPageWikiLink Proof_assistant.
- Timeline_of_artificial_intelligence wikiPageWikiLink Proof_assistant.
- Type_theory wikiPageWikiLink Proof_assistant.
- Well-formed_formula wikiPageWikiLink Proof_assistant.
- Coq genre Proof_assistant.
- Dependent_type seeAlso Proof_assistant.
- Interactive_proof_system differentFrom Proof_assistant.
- Category:Proof_assistants subject Proof_assistant.
- Proof_assistant primaryTopic Proof_assistant.