GitHub repository: nook0110/ComplexSolver
Primary language: C++
Description: A program to prove geometry problems.