Skip to content
Docker CI

Output modern HOL4 syntax, fix up builds of HOL4 examples (#114) #8

Sign in to view logs

Output modern HOL4 syntax, fix up builds of HOL4 examples (#114)

Output modern HOL4 syntax, fix up builds of HOL4 examples (#114) #8

Annotations

4 warnings

This job succeeded