GitHub repository: sylph520/geosolver
Primary language: Python
Description: geometry question solver