partrec

Here is 1 public repository matching this topic...

Markov normal algorithms are exactly the partial recursive functions: a Lean 4 formalization with two independent proofs of the compilation direction

Add a description, image, and links to the partrec topic page so that developers can more easily learn about it.

To associate your repository with the partrec topic, visit your repo's landing page and select "manage topics."