Skip to content
Docker CI

Output modern HOL4 syntax, fix up builds of HOL4 examples #7

Sign in to view logs

Output modern HOL4 syntax, fix up builds of HOL4 examples

Output modern HOL4 syntax, fix up builds of HOL4 examples #7

Annotations

4 warnings

The logs for this run have expired and are no longer available.