on github

Release notes for HOL4, Kananaskis-11

(Released: 3 March 2017)

We are pleased to announce the Kananaskis-11 release of HOL 4.

Contents

New features:

Bugs fixed:

New theories:

New tools:

New examples:

Incompatibilities: