Formalization Concatination Theory in Lean 4
Main purpose of this repository is to formalize Grzegorczyk's Concatination Theory
References
- A. Grzegorczyk; "Undecidability without Arithmetization"
- A. Grzegorczyk and K. Zdanowski; "Undecidability and concatenation"
- Y. Horihata; "Concatenationの理論と本質的決定不可能性"