Skip to content
Docker CI

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

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 #6

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (coqorg/coq:dev)
4m 55s
4m 55s