HOL Light - CaLiGraph

CaLiGraph

Property	Value
rdf:type	owl:NamedIndividual Proof assistant
rdfs:label	HOL Light
owl:sameAs	dbr:HOL_Light
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/OCaml http://en.wikipedia.org/wiki/HOL_(proof_assistant) http://en.wikipedia.org/wiki/Category:Proof_assistants http://en.wikipedia.org/wiki/Proof_assistant
skos:prefLabel	HOL Light
skos:altLabel	HOL4
is clgo:influenced of	Mizar system

About: clgr:HOL_Light