/Euclid

Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations

Primary LanguageC++

No issues in this repository yet.