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