LLuhui Dev·Mar 8AlphaGeometry DSL Guide: Google Geometry DSL, defs.txt Actions, and PredicatesA technical guide to AlphaGeometry DSL covering problem format, defs.txt action definitions, geometric predicates, rules.txt reasoning, and constructi10 min read·luhui.hashnode.dev