Schutz' Independent Axioms for Minkowski Spacetime by Richard Schmoetten, Jake Palmer and Jacques D. Fleuriot Jul 27
Isabelle Marries Dirac: a Library for Quantum Computation and Quantum Information by Anthony Bordg, Hanna Lachnitt and Yijun He Nov 22
A Sound Type System for Physical Quantities, Units, and Measurements by Simon Foster and Burkhart Wolff Oct 20
A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles by Albert Rizaldi and Fabian Immler Jun 01