Skip to content
coq-library-undecidability CI

reductions to HaltLclosed and L_computable_closed without the L framework #693

Sign in to view logs

reductions to HaltLclosed and L_computable_closed without the L framework

reductions to HaltLclosed and L_computable_closed without the L framework #693

Run time

Learn about OS pricing on GitHub Actions
Job Run time
build (dev, 4.14-flambda)
10m 38s
10m 38s