Compare software

GCLC vs Java Geometry Expert: catalog facts
GCLC	Java Geometry Expert
Best for: Students and educators working with geometry constructions and proofs	Best for: Geometry students and teachers exploring and presenting proofs
Free The source code is published under the MIT license.	Free The Flathub listing identifies it as GPL-3.0-or-later.
Windows, Linux, Web, Command line	Linux
Combines geometric drawing with theorem proving Offers graphical, command-line, and web versions All 3 strengths for GCLC Combines geometric drawing with theorem proving Offers graphical, command-line, and web versions Exports to SVG and LaTeX formats	Combines interactive geometry with automated proving Diagrams can be changed dynamically All 3 strengths for Java Geometry Expert Combines interactive geometry with automated proving Diagrams can be changed dynamically Includes visual tools for presenting proofs
Uses the GCL language to describe constructions	Linux package evidence is provided
Downloadable app, Web application	Downloadable app
Open source	Open source
License: MIT	License: GPL-3.0-or-later
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 Sources for GCLC github.com/ADG-Foundation/gclc Catalog checked October 8, 2026	Official website Full listing and sources Sources for Java Geometry Expert github.com/ADG-Foundation/Java-Geometry-Expert Catalog checked October 8, 2026

“Not stated” means we have not confirmed it. Features can vary by device and plan.