Skip to content

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

Output modern HOL4 syntax, fix up builds of HOL4 examples

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

Annotations

4 warnings

This job succeeded