@misc{indiciaee32c719cbf4d,
  title = {Using Isabelle to verify special relativity, with application to hypercomputation theory},
  author = {Mike Stannett and István Németi},
  year = {2013},
  doi = {10.1007/s10817-013-9292-7},
  url = {https://arxiv.org/abs/1211.6468},
  note = {Source identifier: 1211.6468}
}