GitHub repository: ohhmm/openmind
Primary language: C++
Description: Deduction framework with arbitrary mathematical system solver.