Geometry concerns points, whether a point is between other points, and distances. This page serves as an index for proof modules and interfaces related to geometry.
There are a set of axioms for geometry due to Tarski which are fairly well developed here. They are first-order (that is, they concern points rather than sets of points).
Here we list the axioms and the proofs (which are divided into a large number of relatively small modules).