@misc{indiciaed09cfda24694,
  title = {Towards Formalising Schutz' Axioms for Minkowski Spacetime in Isabelle/HOL},
  author = {Richard Schmoetten and Jake E. Palmer and Jacques D. Fleuriot},
  year = {2021},
  url = {https://arxiv.org/abs/2108.10868},
  note = {Source identifier: 2108.10868}
}