API Token (получите у бота @alphageometrybot) Problem name Mode alphageometry (LM + DDAR) ddar (symbolic only) Problem (AlphaGeometry DSL) a b c = triangle a b c; d = on_tline d b a c, on_tline d c a b ? perp a d b c Solve

Output

My jobs

Last log

GeoGebra Sketchpad

Use the pad to sketch and label points. Paste the DSL above and run solve. Status and results also arrive via Telegram bot (/status).