The Elements of Euclid is a desktop program that allows the user to hone their logic skills using the geometric principles compiled by Greek mathematician Euclid. Users can walk through a demonstration of a geometric proof, try to solve one themselves, or build their own. The Elements of Euclid currently has the first 6 proofs known as propositions as well as the foundations of the system known as definitions, postulates, and common notions from Euclid’s Elements, Book 1.
Example
Still of the completion of Proposition 5
