In addition to his proof—available for free (PDF)—he developed a "compiler" that would generate 2,3 Turing machine code that is capable of solving any computational problem.