v2023.10.19

github-actions released this 19 Oct 22:06

· 24 commits to master since this release

HOL checkout: HOL-Theorem-Prover/HOL@7a4ed25
CakeML checkout: CakeML/cakeml@9c3b012

Assets 3