TY  - RPRT
TI  - Formalising Geometric Axioms for Minkowski Spacetime and Without-Loss-of-Generality Theorems
AU  - Richard Schmoetten
AU  - Jake Palmer
AU  - Jacques Fleuriot
PY  - 2022
DO  - 10.4204/eptcs.352.13
UR  - https://arxiv.org/abs/2201.00542
ID  - 2201.00542
ER  -