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.

First-order 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).

Login to edit