Mechanisation of Minkowski Spacetime released on the Archive of Formal Proof
Our formalisation of Schutz’ Independent Axioms for Minkowski Spacetime is now available in Isabelle’s Archive of Formal Proof. More information and the theories are available here.