Formalisation of Turing Machines+ −
================================+ −
+ −
thys - contains the formalisation+ −
Paper - contains the files for the paper+ −
+ −
+ −
Attic - old files+ −
Literature - related work+ −