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 03 2025 at 01:50 UTC