About: Proof assistants

An Entity of Type: Concept, from Named Graph: http://dbpedia.org, within Data Space: dbpedia.org:8891

Property	Value
dbo:wikiPageID	33159529 (xsd:integer)
dbo:wikiPageRevisionID	451672569 (xsd:integer)
dbp:wikiPageUsesTemplate	dbt:Cat_main
rdf:type	skos:Concept
rdfs:label	Proof assistants (en)
skos:broader	dbc:Dependently_typed_programming dbc:Domain-specific_programming_languages dbc:Theorem_proving_software_systems
skos:prefLabel	Proof assistants (en)
prov:wasDerivedFrom	wikipedia-en:Category:Proof_assistants?oldid=451672569&ns=14
owl:sameAs	dbc:Proof_assistants
is dbo:wikiPageWikiLink of	dbr:Proof_assistant dbr:Mizar_system dbr:MINLOG dbr:Nuprl dbr:Coq dbr:Epigram_(programming_language) dbr:LEGO_(proof_assistant) dbr:PhoX dbr:Prototype_Verification_System dbr:Total_functional_programming dbr:Matita dbr:HOL_Light dbr:Jape_(software) dbr:Logic_for_Computable_Functions dbr:ACL2 dbr:Agda_(programming_language) dbr:Dafny dbr:Logical_framework dbr:QED_manifesto dbr:HOL_(proof_assistant) dbr:Isabelle_(proof_assistant) dbr:ALF_(proof_assistant) dbr:KeY dbr:Lean_(proof_assistant) dbr:Automath dbr:Metamath dbr:F*_(programming_language)
is dcterms:subject of	dbr:Proof_assistant dbr:Mizar_system dbr:MINLOG dbr:Nuprl dbr:Coq dbr:Epigram_(programming_language) dbr:LEGO_(proof_assistant) dbr:PhoX dbr:Prototype_Verification_System dbr:Total_functional_programming dbr:Matita dbr:HOL_Light dbr:Jape_(software) dbr:Logic_for_Computable_Functions dbr:ACL2 dbr:Agda_(programming_language) dbr:Dafny dbr:Logical_framework dbr:QED_manifesto dbr:HOL_(proof_assistant) dbr:Isabelle_(proof_assistant) dbr:ALF_(proof_assistant) dbr:KeY dbr:Lean_(proof_assistant) dbr:Automath dbr:Metamath dbr:F*_(programming_language)