deepblueore/Euclid
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
C++
No issues in this repository yet.
Program for proving elementary algebraic (perspective - geometry) theorems using distributed computations
C++
No issues in this repository yet.