File size: 674 Bytes
eab734a | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 | cff-version: 1.2.0
message: If you use this software, please cite it as below.
title: "statement-to-tikz: Constraint-solved TikZ from olympiad geometry statements"
type: software
authors:
- name: statement-to-tikz contributors
license: MIT
version: 0.1.0
date-released: "2026-07-28"
url: "https://github.com/will702/statement-to-tikz"
repository-code: "https://github.com/will702/statement-to-tikz"
abstract: >-
Training-free pipeline that formalizes olympiad plane-geometry statements into
GeometryIR, solves coordinates with SciPy least_squares, and emits verified TikZ.
keywords:
- geometry
- tikz
- olympiad
- constraint-solver
- latex
- formalization
|