PR #6955: feat(computability/tm_to_partrec): prove finite...

Stream: triage

[Random Issue Bot]

Today I chose PR 6955 for discussion!

feat(computability/tm_to_partrec): prove finiteness
Created by @Mario Carneiro (@digama0) on 2021-03-29
Labels: awaiting-author, merge-conflict

Is this PR still relevant? Any recent updates? Anyone making progress?

[Mario Carneiro]

I didn't realize this was still in the queue. I will finish this today