tex-content

LaTeX thesis writing correctness is enforced by automating content convention checks for definitions, theorems, and proofs. This ensures consistent notation and citation verification across all thesis chapters.

Automating citation verification in mathematical proofs requires enforcing inline citation consistency and self-contained definitions within thesis workflows. This approach reduces errors and rework by checking structural correctness.

Checking LaTeX theorem and proof structure requires YAML frontmatter with a name and description. This frontmatter is mandatory for the automated checks to enforce audience-aware writing conventions and notation rules.

Automated LaTeX checks for math.tex files located in crates or experiments require loading a target standards application. You must load the math-tex skill instead to apply the correct assembly standards for those directories.

Automated proof-writing verification handles audiences by enforcing writing conventions for human readers, imagined master students, verification agents, and downstream Rust implementers. This ensures content correctness across all target groups.