Skip to content
Back to pull request #1157

Initial boehm_treeTheory (up to dhnf_cases) #104

Sign in to view logs

Initial boehm_treeTheory (up to dhnf_cases)

Initial boehm_treeTheory (up to dhnf_cases) #104

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build-expk
1h 24m 8s
build-stdknl
1h 24m 59s
2h 49m 7s