Skip to content
.github/workflows/main.yml

add command to generate a file for each proof step (experimental) (#42) #169

Sign in to view logs

add command to generate a file for each proof step (experimental) (#42)

add command to generate a file for each proof step (experimental) (#42) #169

Run time

Learn about OS pricing on GitHub Actions
Job Run time
hol-light-to-dedukti (4.14.1, 8.00.05, 2.7, master, 3.7.0)
14m 14s
14m 14s