Tarski Geometry Axioms. Part III. - Coghetto, Roland; Grabowski, Adam (Formalized Mathematics, 2017)