Geopar

This project implements a type of computational reasoning. It postulates and proves various theorems in plane geometry. In particular, it can prove a new generalization of Morley's Trisector Theorem