0.87233223.2 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)13 Dec 2025, 09:47 UTC
4 Jun 2022, 15:51 UTC
30 Jul 2025, 10:01 UTC
13 Dec 2025, 09:47 UTC
