HOL web-pages ============= This repository stores the content for our HOL4 web-site. Currently, this is hosted at the URL <http://hol-theorem-prover.org>. Much of the content is generated automatically from the HOL4 help sources.
HOL web-pages ============= This repository stores the content for our HOL4 web-site. Currently, this is hosted at the URL <http://hol-theorem-prover.org>. Much of the content is generated automatically from the HOL4 help sources.