search

kovzol / Java-Geometry-Expert

Java Geometry Expert
Other
30 stars 17 forks source link

Add Spanish language #11

Open CorinnaFe opened 1 year ago

CorinnaFe commented 1 year ago

It would be a good idea to integrate the Spanish language into the JGEX.

kovzol commented 1 year ago

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.