A tool that helps discovering internal references in the Bible
2026-10-19
An experimental version of GeoGebra
5.0.641.0
Java Geometry Expert
0.88
A logical proof program
2.2
A system for computing with Tarski formulas and semi-algebraic sets
1.37
