This is the first release of HOL Light from the Github repo.
The only previous releases were tarballs on the old HOL
Light Web page, the most recent being 2.20.
This is the first release of HOL Light from the Github repo.
The only previous releases were tarballs on the old HOL
Light Web page, the most recent being 2.20.