Matches in DBpedia 2015-10 for { ?s ?p <http://dbpedia.org/resource/Category:Proof_assistants> }
Showing triples 1 to 52 of
52
with 100 triples per page.
- ALF_(proof_assistant) wikiPageWikiLink Category:Proof_assistants.
- Agda_(programming_language) wikiPageWikiLink Category:Proof_assistants.
- Albatross_(programming_language) wikiPageWikiLink Category:Proof_assistants.
- Automated_proof_checking wikiPageWikiLink Category:Proof_assistants.
- Automath wikiPageWikiLink Category:Proof_assistants.
- Coq wikiPageWikiLink Category:Proof_assistants.
- Epigram_(programming_language) wikiPageWikiLink Category:Proof_assistants.
- F*_(programming_language) wikiPageWikiLink Category:Proof_assistants.
- HOL_(proof_assistant) wikiPageWikiLink Category:Proof_assistants.
- HOL_Light wikiPageWikiLink Category:Proof_assistants.
- Isabelle_(proof_assistant) wikiPageWikiLink Category:Proof_assistants.
- Jape_(software) wikiPageWikiLink Category:Proof_assistants.
- KeY wikiPageWikiLink Category:Proof_assistants.
- LEGO_(proof_assistant) wikiPageWikiLink Category:Proof_assistants.
- Logic_for_Computable_Functions wikiPageWikiLink Category:Proof_assistants.
- Logical_framework wikiPageWikiLink Category:Proof_assistants.
- MINLOG wikiPageWikiLink Category:Proof_assistants.
- Matita wikiPageWikiLink Category:Proof_assistants.
- Metamath wikiPageWikiLink Category:Proof_assistants.
- Mizar_system wikiPageWikiLink Category:Proof_assistants.
- Nuprl wikiPageWikiLink Category:Proof_assistants.
- PhoX wikiPageWikiLink Category:Proof_assistants.
- Proof_assistant wikiPageWikiLink Category:Proof_assistants.
- Prototype_Verification_System wikiPageWikiLink Category:Proof_assistants.
- QED_manifesto wikiPageWikiLink Category:Proof_assistants.
- Total_functional_programming wikiPageWikiLink Category:Proof_assistants.
- ALF_(proof_assistant) subject Category:Proof_assistants.
- Agda_(programming_language) subject Category:Proof_assistants.
- Albatross_(programming_language) subject Category:Proof_assistants.
- Automated_proof_checking subject Category:Proof_assistants.
- Automath subject Category:Proof_assistants.
- Coq subject Category:Proof_assistants.
- Epigram_(programming_language) subject Category:Proof_assistants.
- F*_(programming_language) subject Category:Proof_assistants.
- HOL_(proof_assistant) subject Category:Proof_assistants.
- HOL_Light subject Category:Proof_assistants.
- Isabelle_(proof_assistant) subject Category:Proof_assistants.
- Jape_(software) subject Category:Proof_assistants.
- KeY subject Category:Proof_assistants.
- LEGO_(proof_assistant) subject Category:Proof_assistants.
- Logic_for_Computable_Functions subject Category:Proof_assistants.
- Logical_framework subject Category:Proof_assistants.
- MINLOG subject Category:Proof_assistants.
- Matita subject Category:Proof_assistants.
- Metamath subject Category:Proof_assistants.
- Mizar_system subject Category:Proof_assistants.
- Nuprl subject Category:Proof_assistants.
- PhoX subject Category:Proof_assistants.
- Proof_assistant subject Category:Proof_assistants.
- Prototype_Verification_System subject Category:Proof_assistants.
- QED_manifesto subject Category:Proof_assistants.
- Total_functional_programming subject Category:Proof_assistants.