Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/resource/Category:Proof_assistants> . }
Showing items 1 to 24 of
24
with 100 items per page.
- ALF_(proof_assistant) subject Category:Proof_assistants.
- Agda_(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.
- 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.