Matches in DBpedia 2014 for { ?s ?p <http://dbpedia.org/class/yago/ProofAssistants> . }
Showing items 1 to 14 of
14
with 100 items per page.
- ALF_(proof_assistant) type ProofAssistants.
- Automath type ProofAssistants.
- Calculus_of_inductive_constructions type ProofAssistants.
- HOL_(proof_assistant) type ProofAssistants.
- HOL_Light type ProofAssistants.
- Jape_(software) type ProofAssistants.
- LEGO_(proof_assistant) type ProofAssistants.
- Logic_for_Computable_Functions type ProofAssistants.
- Logical_framework type ProofAssistants.
- MINLOG type ProofAssistants.
- NuPRL type ProofAssistants.
- PhoX type ProofAssistants.
- Proof_assistant type ProofAssistants.
- Total_functional_programming type ProofAssistants.