README

Contains the code for our team's replication of the AlphaGeometry system for MATH1810C

The goal is for the system to be able to use DDAR (Deductive Database+Algebraic Reasoning), as well as an LLM component for coming up with constructions when the DDAR hits a wall, to prove geometric statements.