Search posts, tags, users, and pages
A technical guide to AlphaGeometry DSL covering problem format, defs.txt action definitions, geometric predicates, rules.txt reasoning, and constructi
Luhui Dev
@luhui · Hangzhou
Markdown supported · ⌘↵ to post
No responses yet.