GitHub repository: JPaci/GeoBot
Primary language: Java
Created: 2017-09-04T02:59:48Z
Description: A program designed to solve geometry proofs.