GitHub repository: rhjs94/schutz-minkowski-space
Primary language: Isabelle
Created: 2021-07-15T15:54:43Z
Description: Formalisation in Isabelle/HOL of Schutz' axioms for Minkowski spacetime (and theorems of Chapter 3).