Skip to content

Releases: jrh13/hol-light

HOL-Light-3.1.0

19 Jun 23:34
@jrh13 jrh13
Release-3.1.0
37af947
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
HOL-Light-3.1.0 Latest
Latest

Many miscellaneous developments since version 3.0.0; for more details consult the git log and/or the CHANGES file.

Assets 2
Loading

HOL-Light-3.0.0

14 Oct 18:21
@jrh13 jrh13
Release-3.0.0
72b2b70
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Verified
Learn about vigilant mode.

Choose a tag to compare

View all tags
HOL-Light-3.0.0

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.

Loading