Compare software

Java Geometry Expert vs GCLC: catalog facts
Java Geometry Expert	GCLC
Free The Flathub listing identifies it as GPL-3.0-or-later.	Free The source code is published under the MIT license.
Linux	Windows, Linux, Web, Command line
Combines interactive geometry with automated proving Diagrams can be changed dynamically	Combines geometric drawing with theorem proving Offers graphical, command-line, and web versions
Linux package evidence is provided	Uses the GCL language to describe constructions
Downloadable app	Downloadable app, Web application
Open source	Open source
License: GPL-3.0-or-later	License: MIT
Not stated if an account is needed	Not stated if an account is needed
Not stated if it works offline	Not stated if it works offline
Official website Full listing and sources Checked October 8, 2026	Official website Full listing and sources Checked October 8, 2026

Catalog facts only. Anything “not stated” is unconfirmed. Check full listings for details.