@misc{indiciaec046add59c9c,
  title = {Infinite Words and Morphic Languages Formalized in Isabelle/HOL},
  author = {Štěpán Starosta},
  year = {2023},
  url = {https://arxiv.org/abs/2303.11445},
  note = {Source identifier: 2303.11445}
}