Release notes for HOL4, Trindemossen-1

(Released: 25 April 2024)

We are pleased to announce the Trindemossen 1 release of HOL4. We have changed the name (from Kananaskis) because of the kernel change reflected by the new efficient compute tool (see below).


New features:

Bugs fixed:

New theories:

New tools:

New examples: