TY  - RPRT
TI  - How to Verify a Turing Machine with Dafny
AU  - Edgar F. A. Lederer
PY  - 2026
UR  - https://arxiv.org/abs/2601.15230
ID  - 2601.15230
ER  -