From: Michael Nedzelsky <MichaelNedzelsky@yandex.ru> Hi all,
Are there formalization in Isabelle (HOL) of the following basic theorems of recursion theory?
Regards, Michael Nedzelsky
Last updated: Jul 26 2025 at 08:28 UTC