A Verified Translation of Multitape Turing Machines into Singletape Turing Machines by Christian Dalvit and René Thiemann 📧 Nov 30