A Verified Translation of Multitape Turing Machines into Singletape Turing Machines. - Christian Dalvit; René Thiemann (Arch. Formal Proofs, 2022)

Zeckendorf's Theorem. - Christian Dalvit (Arch. Formal Proofs, 2023)