Geometry

We are currently in the process of developing full support for high school geometry. However, we have already completed a major milestone, which is full support for fill-in-the-blank geometry proofs.