Skip to content
Build Isabelle/Set

feat(HOTG) tuning of well-founded recursion theories #113

Sign in to view logs

feat(HOTG) tuning of well-founded recursion theories

feat(HOTG) tuning of well-founded recursion theories #113

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build
4m 45s
4m 45s