HOL Light
id:
hol-light-258-15047639
title:
HOL Light
text:
HOL Light is a proof assistant for classical higher-order logic. It is a member of the HOL theorem prover family. Compared with other HOL systems, HOL Light is intended to have relatively simple foundations. HOL Light is authored and maintained by the mathematician and computer scientist John Harrison. HOL Light is released under the simplified BSD license.
brand slug:
wiki
category slug:
encyclopedia
description:
original url:
https://en.wikipedia.org/wiki/HOL_Light
date created:
date modified:
2024-02-29T19:29:05Z
main entity:
{"identifier":"Q5635438","url":"https://www.wikidata.org/entity/Q5635438"}
image:
fields total:
13
integrity:
13