About: Interactive theorem proving software

Property	Value
rdf:type	skos:Concept
rdfs:label	Interactive theorem proving software
skos:broader	dbpedia:Category:Theorem_proving_software_systems
skos:prefLabel	Interactive theorem proving software
is skos:subject of	dbpedia:HOL_Light dbpedia:Interactive_theorem_proving dbpedia:Coq dbpedia:Epigram_(programming_language) dbpedia:HOL_theorem_prover_family dbpedia:LCF_(theorem_prover) dbpedia:Matita dbpedia:Isabelle_(theorem_prover) dbpedia:Agda_(theorem_prover) dbpedia:Jape_(software) dbpedia:PhoX dbpedia:Prototype_Verification_System