Java-Geometry-Expert
Java-Geometry-Expert copied to clipboard
Add Spanish language
It would be a good idea to integrate the Spanish language into the JGEX.
I think this is a good idea. In Spain there is a great interest for using automated reasoning tools. Please let me know if you are personally interested in working on the translation.