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

Run time

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