Towards formalising Schutz' axioms for Minkowski spacetime in Isabelle/HOL
scientific article; zbMATH DE number 7632096
scientific article