OpenEuclide is an educational mathematical program for Euclidian geometry.
This geometry program is for educational purposes and it allows proving and verifying geometrical