Java Geometry Expert
[ О приложении ]

JGEX combines dynamic geometry software, automated geometry theorem prover and an approach for visually dynamic presentation of proofs.

Репозиторий: Snap