Tarski Geometry Axioms. Part IV - Right Angle

Roland Coghetto, Adam Grabowski. Tarski Geometry Axioms. Part IV - Right Angle. Formalized Mathematics, 27(1):75-85, 2019. [doi]

Abstract

Abstract is missing.