Skip to content
Back to pull request #36

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

The logs for this run have expired and are no longer available.