Releases: binghe/HOL
Releases · binghe/HOL
[OpenTheory] hol-base-1.3.0
252c722
This commit was signed with the committer’s verified signature.
The key has expired.
binghe
Chun Tian
NOTE: The current "forever" latest version of hol-base is 1.2 (see https://opentheory.gilith.com/?pkg=hol-base-1.2). All releases here will be version 1.3.x.