[OpenTheory] hol-base-1.3.0 #7
binghe
announced in
Announcements
Replies: 0 comments
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
-
NOTE: The current "forever" latest version of
hol-baseis 1.2 (see https://opentheory.gilith.com/?pkg=hol-base-1.2). All releases here will be version 1.3.x.This discussion was created from the release [OpenTheory] hol-base-1.3.0.
Beta Was this translation helpful? Give feedback.
All reactions