0.88236188.1 MB
GPL-1.0-or-later
strict
core20
Java Geometry Expert
JGEX combines dynamic geometry software, automated geometry theorem prover and an approach for visually dynamic presentation of proofs.
Update History
0.87 (233) → 0.88 (236)12 Sept 2026, 17:45 UTC
0.87 (233)13 Dec 2025, 09:47 UTC
4 Jun 2022, 15:51 UTC
12 Sept 2026, 17:38 UTC
13 Dec 2025, 09:47 UTC
