Skip to content

[OpenTheory] hol-base-1.3.0

Latest
Latest
Compare
Choose a tag to compare
@binghe binghe released this 01 May 06:47
· 1367 commits to probability_dev since this release
hol-base-1.3.0
252c722
This commit was signed with the committer’s verified signature. The key has expired.
binghe Chun Tian
GPG key ID: 154920DA3AD847C8
Expired
Learn about vigilant mode.

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.

Assets 4
Loading
0 Join discussion