·
805 commits
to probability_dev
since this release
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.