Skip to content

HTTPS clone URL

Subversion checkout URL

You can clone with HTTPS or Subversion.

Download ZIP
Webpages for the HOL4 website (currently at hol.sourceforge.net)
Standard ML
branch: master

This branch is 45 commits behind HOL-Theorem-Prover:master

Fetching latest commit…

Cannot retrieve the latest commit at this time

Failed to load latest commit information.
tools
topublish
.gitignore
README

README

HOL web-pages
=============

This repository stores the content for our HOL4 web-site.
Currently, this is hosted at the URL <http://hol.sourceforge.net>.

Much of the content is generated automatically from the HOL4 help sources.
Something went wrong with that request. Please try again.