Tarski Geometry Axioms. - William Richter; Adam Grabowski; Jesse Alama (Formaliz. Math., 2014)