A from-scratch TypeScript DDAR geometry proof-checker (deductive database + algebraic reasoning, the symbolic method behind AlphaGeometry) that verifies olympiad proof steps against several resampled figures, plus the interactive geometry course built on it.
react typescript geometry theorem-proving automated-reasoning automated-theorem-proving math-education alphageometry olympiad-mathematics ddar
-
Updated
Jul 28, 2026 - TypeScript