# GeoSolver
I am trying to build a solver for proof-based geometry questions in rust