jgex

Create dynamic geometric constructions, use automated geometry theorem proving, and present proofs through visual, dynamic displays with jgex. Its distinguishing feature is the combination of these three functions in one program, linking construction, proof, and presentation.

jgex runs on Linux systems with snapd and supports x86_64 (amd64) architecture. It is developed by Kovács Zoltán, with version 0.88 available under an open-source license.