tex_extract
Extracts definitions and lemmas from a TeX file, generating a compact JSON summary for structured mathematical content analysis and formalization workflows.
Instructions
Extract definitions and lemmas from a TeX file. Returns a compact JSON summary.
Input Schema
TableJSON Schema
| Name | Required | Description | Default |
|---|---|---|---|
| tex_path | Yes |