Update to latest HOL Light commit - #14

Merged

dnezam merged 5 commits into

May 11, 2026

Commits on Apr 21, 2026

Multivariate/vectors.ml: Use </ instead of < (#173)
dnezam
authored
0a215a4
Use Num-specific comparison operators instead of generic OCaml ones on Num.num values

John Harrison
authored and
jrh13
committed
3bc3d27

Commits on Apr 26, 2026

Added more ring, group and permutation material
jrh13
committed
d19bdec

Commits on Apr 28, 2026

Substantially extended the probability theory library with new results,
jrh13
committed
3170739

Commits on May 11, 2026

Merge remote-tracking branch 'upstream/master' into update
dnezam
committed
49a5ea9