Skip to content
ReScript/Deno CI

fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory) #118

Sign in to view logs

fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory)

fix(coq/cno): drop cno_decidable axiom (Rice's theorem territory) #118

Run time

Learn about OS pricing on GitHub Actions
Job Run time
security
9s
build
7s
16s