GitHub repository: DavidDinkevich/Proofer
Primary language: Java
Created: 2017-07-20T14:47:53Z
Description: Software that allows users to design, customize, and solve geometric proofs.